Data.Category.Unit

Documentation

data Unit a b where

Constructors

Unit :: Unit () ()

Instances

Category Unit

Unit is the category with one object.

HasBinaryCoproducts Unit

In the category of one object that object is its own coproduct.

HasBinaryProducts Unit

In the category of one object that object is its own product.

HasInitialObject Unit

The category of one object has that object as initial object.

HasTerminalObject Unit

The category of one object has that object as terminal object.

(Category Unit, Category k) => HasColimits Unit k

The colimit of a single object is that object.

(Category Unit, Category k) => HasLimits Unit k

The limit of a single object is that object.