Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
Safe Haskell | Safe-Inferred |
Documentation
Category Unit |
|
HasBinaryCoproducts Unit | In the category of one object that object is its own coproduct. |
HasBinaryProducts Unit | In the category of one object that object is its own product. |
HasInitialObject Unit | The category of one object has that object as initial object. |
HasTerminalObject Unit | The category of one object has that object as terminal object. |
Category k => HasColimits Unit k | The colimit of a single object is that object. |
Category k => HasLimits Unit k | The limit of a single object is that object. |