Index - I
| Id | |
| 1 (Type/Class) | Data.Category.Functor |
| 2 (Data Constructor) | Data.Category.Functor |
| id | Data.Category |
| IdFls | Data.Category.Boolean |
| IdFst | Data.Category.Pair |
| IdSnd | Data.Category.Pair |
| IdTru | Data.Category.Boolean |
| IdZ | |
| 1 (Data Constructor) | Data.Category.Discrete |
| 2 (Data Constructor) | Data.Category.Omega |
| 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 |
| inj | Data.Category.Limit |
| iuObject | Data.Category.Functor |