Index - H
| HasBinaryCoproducts | Data.Category.Limit |
| HasBinaryProducts | Data.Category.Limit |
| HasColimits | Data.Category.Limit |
| HasInitialObject | Data.Category.Limit |
| HasLimits | Data.Category.Limit |
| HasNaturalNumberObject | Data.Category.NNO |
| HasTerminalObject | Data.Category.Limit |
| Hom | |
| 1 (Type/Class) | Data.Category.Functor |
| 2 (Data Constructor) | Data.Category.Functor |
| homX_ | Data.Category.Functor |
| hom_X | Data.Category.Functor |