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