Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
0, the empty category. The limit and colimit of the functor from 0 to some category provide terminal and initial objects in that category.
Documentation
The (empty) data type of the arrows in 0.
Category Void | |
HasInitialObject ~> => HasColimits Void ~> | |
HasTerminalObject ~> => HasLimits Void ~> |
magicVoidO :: Obj Void a -> xSource
data VoidDiagram (~>) Source
The functor from 0 to (~>), the empty diagram in (~>).
Functor (VoidDiagram ~>) |