Portability  nonportable 

Stability  experimental 
Maintainer  sjoerd@w3future.com 
Omega, the category 0 > 1 > 2 > 3 > ... The objects are the natural numbers, and there's an arrow from a to b iff a <= b.
 data Z
 data S n
 data Omega where
 zeroMonoid :: MonoidObject (CoproductFunctor Omega) Z
 zeroComonoid :: ComonoidObject (CoproductFunctor Omega) Z
Documentation
The arrows of omega, there's an arrow from a to b iff a <= b.
Category Omega  The objects of omega are the natural numbers, and there's an arrow from a to b iff a <= b. 
HasInitialObject Omega 

HasBinaryProducts Omega  The product in omega is the minimum. 
HasBinaryCoproducts Omega  The coproduct in omega is the maximum. 
zeroMonoid :: MonoidObject (CoproductFunctor Omega) ZSource
Zero is a monoid object wrt the maximum.
zeroComonoid :: ComonoidObject (CoproductFunctor Omega) ZSource
Zero is also a comonoid object wrt the maximum.