Index - *
| * | Proarrow.Category.Instance.Mat |
| *! | |
| 1 (Type/Class) | Proarrow.Limit.BinaryProduct |
| 2 (Type/Class) | Proarrow.Tools.CCC |
| ** | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Monoidal |
| **! | Proarrow.Category.Instance.Free |
| *** | Proarrow.Limit.BinaryProduct |
| *. | Proarrow.Colimit.Copower |