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 |
| InF | Data.Category.Dialg |
| initialFactorizer | Data.Category.Functor |
| InitialFAlgebra | Data.Category.Dialg |
| initialize | Data.Category.Limit |
| initialMorphism | Data.Category.Functor |
| InitialObject | Data.Category.Limit |
| initialObject | Data.Category.Limit |
| initialPropAdjunction | Data.Category.Adjunction |
| InitialUniversal | |
| 1 (Data Constructor) | Data.Category.Functor |
| 2 (Type/Class) | Data.Category.Functor |
| 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 |
| iuObject | Data.Category.Functor |