proarrow

Index - *

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