Data.Category.Boolean

2, or the Boolean category. It contains 2 objects, one for true and one for false. It contains 3 arrows, 2 identity arrows and one from false to true.

Documentation

data Fls

data Tru

data Boolean a b where

Constructors

Fls :: Boolean Fls Fls

F2T :: Boolean Fls Tru

Tru :: Boolean Tru Tru

Instances

Category Boolean

Boolean is the category with true and false as objects, and an arrow from false to true.

HasBinaryCoproducts Boolean

HasBinaryProducts Boolean

HasInitialObject Boolean

False is the initial object in the Boolean category.

HasTerminalObject Boolean

True is the terminal object in the Boolean category.

data NatAsFunctor f g

A natural transformation Nat c d is isomorphic to a functor from c :**: 2 to d.

Constructors

NatAsFunctor (Nat (Dom f) (Cod f) f g)

Instances

(Dom f ~ c, Cod f ~ d, Dom g ~ c, Cod g ~ d, Functor f, Functor g, Category c, Category d) => Functor (NatAsFunctor f g)