data-category-0.5.1: Category theory

Portabilitynon-portable
Stabilityexperimental
Maintainersjoerd@w3future.com
Safe HaskellSafe-Inferred

Data.Category.Unit

Description

 

Documentation

data Unit a b whereSource

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.