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 |