Category Unit Source # | Unit is the category with one object.
|
Instance detailsDefined in Data.Category.Unit |
HasBinaryCoproducts Unit Source # | In the category of one object that object is its own coproduct. |
Instance detailsDefined in Data.Category.Limit |
HasBinaryProducts Unit Source # | In the category of one object that object is its own product. |
Instance detailsDefined in Data.Category.Limit |
HasInitialObject Unit Source # | The category of one object has that object as initial object. |
Instance detailsDefined in Data.Category.Limit |
HasTerminalObject Unit Source # | The category of one object has that object as terminal object. |
Instance detailsDefined in Data.Category.Limit |
CartesianClosed Unit Source # | |
Instance detailsDefined in Data.Category.CartesianClosed |
Category k => HasColimits Unit k Source # | The colimit of a single object is that object. |
Instance detailsDefined in Data.Category.Limit |
Category k => HasLimits Unit k Source # | The limit of a single object is that object. |
Instance detailsDefined in Data.Category.Limit |
type InitialObject Unit Source # | |
Instance detailsDefined in Data.Category.Limit |
type TerminalObject Unit Source # | |
Instance detailsDefined in Data.Category.Limit |
type BinaryCoproduct Unit () () Source # | |
Instance detailsDefined in Data.Category.Limit |
type BinaryProduct Unit () () Source # | |
Instance detailsDefined in Data.Category.Limit |
type ColimitFam Unit k f Source # | |
Instance detailsDefined in Data.Category.Limit |
type LimitFam Unit k f Source # | |
Instance detailsDefined in Data.Category.Limit |
type Exponential Unit () () Source # | |
Instance detailsDefined in Data.Category.CartesianClosed |