License | BSD-style (see the file LICENSE) |
---|---|
Maintainer | sjoerd@w3future.com |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
Category Void Source # |
|
HasInitialObject k => HasColimits Void k Source # | An initial object is the colimit of the functor from 0 to k. |
HasTerminalObject k => HasLimits Void k Source # | A terminal object is the limit of the functor from 0 to k. |
type ColimitFam Void k f Source # | |
type LimitFam Void k f Source # | |