Index - I
| Id | |
| 1 (Type/Class) | Data.Category.Functor |
| 2 (Data Constructor) | 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 (Type/Class) | Data.Category.Functor |
| 2 (Data Constructor) | Data.Category.Functor |
| inj1 | Data.Category.Limit |
| inj2 | Data.Category.Limit |
| iuObject | Data.Category.Functor |