Index - |
| |> | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Profunctor.Ran |
| || | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Object.BinaryCoproduct |
| 3 (Function) | Proarrow.Category.Monoidal.Strictified |
| ||| | |
| 1 (Function) | Proarrow.Object.BinaryCoproduct |
| 2 (Function) | Proarrow.Category.Equipment |
| 3 (Function) | Proarrow.Squares, Proarrow |