Index - I
| I1 | |
| 1 (Type/Class) | Data.Category.Coproduct |
| 2 (Data Constructor) | Data.Category.Coproduct |
| I2 | |
| 1 (Type/Class) | Data.Category.Coproduct |
| 2 (Data Constructor) | Data.Category.Coproduct |
| Id | |
| 1 (Data Constructor) | Data.Category.Functor |
| 2 (Type/Class) | Data.Category.Functor |
| idPostcomp | Data.Category.NaturalTransformation |
| idPostcompInv | Data.Category.NaturalTransformation |
| idPrecomp | Data.Category.NaturalTransformation |
| idPrecompInv | Data.Category.NaturalTransformation |
| InF | Data.Category.Dialg |
| InitialFAlgebra | Data.Category.Dialg |
| initialize | Data.Category.Limit |
| InitialObject | Data.Category.Limit |
| initialObject | Data.Category.Limit |
| initialPropAdjunction | Data.Category.Adjunction |
| InitialUniversal | Data.Category.RepresentableFunctor |
| initialUniversal | Data.Category.RepresentableFunctor |
| Inj1 | |
| 1 (Data Constructor) | Data.Category.Coproduct |
| 2 (Type/Class) | Data.Category.Coproduct |
| inj1 | Data.Category.Limit |
| Inj2 | |
| 1 (Data Constructor) | Data.Category.Coproduct |
| 2 (Type/Class) | Data.Category.Coproduct |
| inj2 | Data.Category.Limit |