Index - H
| HasBinaryCoproducts | Data.Category.Limit |
| HasBinaryProducts | Data.Category.Limit |
| HasColimits | |
| 1 (Type/Class) | Data.Category.Limit |
| 2 (Type/Class) | Data.Category.Enriched |
| HasEnds | Data.Category.Enriched |
| HasInitialObject | Data.Category.Limit |
| HaskEnd | |
| 1 (Type/Class) | Data.Category.Enriched |
| 2 (Data Constructor) | Data.Category.Enriched |
| haskIsTotal | Data.Category.Yoneda |
| haskUnit | Data.Category.Yoneda |
| HasLeftKan | Data.Category.KanExtension |
| HasLimits | |
| 1 (Type/Class) | Data.Category.Limit |
| 2 (Type/Class) | Data.Category.Enriched |
| HasNaturalNumberObject | Data.Category.NNO |
| HasRightKan | Data.Category.KanExtension |
| HasTerminalObject | Data.Category.Limit |
| Hom | |
| 1 (Type/Class) | Data.Category.Functor |
| 2 (Data Constructor) | Data.Category.Functor |
| hom | Data.Category.Enriched |
| HomF | |
| 1 (Type/Class) | Data.Category.Functor |
| 2 (Data Constructor) | Data.Category.Functor |
| HomX_ | Data.Category.Functor |
| Hom_X | Data.Category.Functor |