proarrow

Index - *

*Proarrow.Category.Instance.Mat
*! 
1 (Type/Class)Proarrow.Object.BinaryProduct
2 (Type/Class)Proarrow.Tools.CCC
**Proarrow.Category.Monoidal
**!Proarrow.Category.Monoidal
***Proarrow.Object.BinaryProduct
*.Proarrow.Object.Copower