| I | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Data Constructor) | Proarrow.Category.Instance.IntConstruction |
| Id | |
| 1 (Data Constructor) | Proarrow.Category.Bicategory.CategoryAsBi |
| 2 (Type/Class) | Proarrow.Profunctor.Identity |
| 3 (Data Constructor) | Proarrow.Profunctor.Identity |
| id | Proarrow.Core, Proarrow.Promonad |
| idLan | Proarrow.Category.Bicategory.Kan |
| idLift | Proarrow.Category.Bicategory.Kan |
| idRan | Proarrow.Category.Bicategory.Kan |
| idRift | Proarrow.Category.Bicategory.Kan |
| In | Proarrow.Profunctor.Fix |
| index | Proarrow.Profunctor.Representable |
| InitF | Proarrow.Helper.CCC |
| InitialLimit | |
| 1 (Type/Class) | Proarrow.Category.Colimit |
| 2 (Data Constructor) | Proarrow.Category.Colimit |
| InitialObject | |
| 1 (Type/Class) | Proarrow.Object.Initial |
| 2 (Type/Class) | Proarrow.Category.Equipment.Limit |
| InitialProfunctor | Proarrow.Profunctor.Initial |
| Initiate | |
| 1 (Type/Class) | Proarrow.Category.Equipment.Limit |
| 2 (Type/Class) | Proarrow.Category.Instance.Cat |
| 3 (Data Constructor) | Proarrow.Category.Instance.Cat |
| initiate | |
| 1 (Function) | Proarrow.Object.Initial |
| 2 (Function) | Proarrow.Category.Equipment.Limit |
| initiate' | Proarrow.Object.Initial |
| initUniv | Proarrow.Category.Equipment.Limit |
| InjL | |
| 1 (Data Constructor) | Proarrow.Profunctor.Coproduct |
| 2 (Type/Class) | Proarrow.Category.Instance.Collage |
| 3 (Data Constructor) | Proarrow.Category.Instance.Collage |
| 4 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
| InjLP | Proarrow.Category.Instance.Cat |
| InjR | |
| 1 (Data Constructor) | Proarrow.Profunctor.Coproduct |
| 2 (Type/Class) | Proarrow.Category.Instance.Collage |
| 3 (Data Constructor) | Proarrow.Category.Instance.Collage |
| 4 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
| InjRP | Proarrow.Category.Instance.Cat |
| InL | Proarrow.Category.Instance.Collage |
| InR | Proarrow.Category.Instance.Collage |
| INT | Proarrow.Category.Instance.IntConstruction |
| Int | Proarrow.Category.Instance.IntConstruction |
| IntConstruction | Proarrow.Category.Instance.IntConstruction |
| IntMinus | Proarrow.Category.Instance.IntConstruction |
| IntPlus | Proarrow.Category.Instance.IntConstruction |
| introI | Proarrow.Category.Bicategory.Strictified |
| introO | Proarrow.Category.Bicategory.Strictified |
| iObj | Proarrow.Category.Bicategory |
| Is | Proarrow.Core |
| IsBool | Proarrow.Category.Instance.Bool |
| IsBoolArr | Proarrow.Category.Instance.Bool |
| IsChart | Proarrow.Category.Monoidal.Optic |
| isCotabulator | Proarrow.Category.Bicategory.Prof |
| IsFin | Proarrow.Category.Instance.Fin |
| IsFunctorial | Proarrow.Category.Bicategory.Prof |
| IsList | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
| 2 (Type/Class) | Proarrow.Category.Instance.List |
| IsLR | |
| 1 (Type/Class) | Proarrow.Category.Instance.Collage |
| 2 (Type/Class) | Proarrow.Category.Instance.Coproduct |
| IsLTE | Proarrow.Category.Instance.Fin |
| IsNat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Category.Instance.Mat |
| IsOb | Proarrow.Category.Bicategory.Sub |
| IsObI | Proarrow.Category.Bicategory.Sub |
| IsObMult | Proarrow.Category.Instance.Sub |
| IsObO | Proarrow.Category.Bicategory.Sub |
| IsOptic | Proarrow.Category.Monoidal.Optic |
| isoToInt | Proarrow.Category.Instance.IntConstruction |
| IsPath | Proarrow.Category.Bicategory.Strictified |
| IsPosetOf | Proarrow.Preorder |
| IsRepresentableColimit | Proarrow.Category.Colimit |
| IsRepresentableLimit | Proarrow.Category.Limit |
| IsSimplex | Proarrow.Category.Instance.Simplex |