Index - H
| HasBinaryCoproducts | Data.Category.Limit |
| HasBinaryProducts | Data.Category.Limit |
| HasColimits | Data.Category.Limit |
| HasInitialObject | Data.Category.Limit |
| HasLimits | Data.Category.Limit |
| HasTerminalObject | Data.Category.Limit |
| HasUnit | Data.Category.Monoidal |
| HomX_ | Data.Category.Functor |
| Hom_X | Data.Category.Functor |