Index - |
| |> | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Profunctor.Instance.Ran |
| || | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Colimit.BinaryCoproduct |
| ||| | |
| 1 (Function) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Function) | Proarrow.Squares |