Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
Safe Haskell | Safe-Inferred |
Documentation
Category Void |
|
(Category Void, Category k, HasInitialObject k) => HasColimits Void k | An initial object is the colimit of the functor from 0 to k. |
(Category Void, Category k, HasTerminalObject k) => HasLimits Void k | A terminal object is the limit of the functor from 0 to k. |