Portability  nonportable 

Stability  experimental 
Maintainer  sjoerd@w3future.com 
Safe Haskell  SafeInferred 
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. 