| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | sjoerd@w3future.com |
Data.Category.Omega
Description
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.