data-category-0.4.1: Category theory

Portabilitynon-portable
Stabilityexperimental
Maintainersjoerd@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.

Synopsis

Documentation

data Z Source

data S n Source

data Omega whereSource

The arrows of omega, there's an arrow from a to b iff a <= b.

Constructors

Z :: Omega Z Z 
Z2S :: Omega Z n -> Omega Z (S n) 
S :: Omega a b -> Omega (S a) (S b) 

Instances

Category Omega

The objects of omega are the natural numbers, and there's an arrow from a to b iff a <= b.

HasInitialObject Omega

Z (zero) is the initial object of 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.