Index - +
| + | |
| 1 (Type/Class) | Proarrow.Object.BinaryCoproduct |
| 2 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 3 (Type/Class) | Proarrow.Category.Instance.Mat |
| 4 (Type/Class) | Proarrow.Tools.CCC |
| ++ | Proarrow.Category.Monoidal.Strictified |
| +++ | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
| 2 (Function) | Proarrow.Object.BinaryCoproduct |
| +-> | Proarrow.Core, Proarrow.Profunctor, Proarrow |