data-category-0.5.1.1: Category theory

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

Data.Category.Void

Description

 

Documentation

data Void a b Source

Instances

Category Void

Void is the category with no objects.

HasInitialObject k => HasColimits Void k

An initial object is the colimit of the functor from 0 to k.

HasTerminalObject k => HasLimits Void k

A terminal object is the limit of the functor from 0 to k.

magic :: Void a b -> xSource

voidNat :: (Functor f, Functor g, Category d, Dom f ~ Void, Dom g ~ Void, Cod f ~ d, Cod g ~ d) => f -> g -> Nat Void d f gSource

data Magic k Source

Constructors

Magic 

Instances

Category k => Functor (Magic k)

Since there is nothing to map in Void, there's a functor from it to any other category.