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.

HasTerminalObject Boolean

True is the terminal object in the Boolean category.

HasInitialObject Boolean

False is the initial object in the Boolean category.

HasBinaryProducts Boolean

HasBinaryCoproducts Boolean

CartesianClosed Boolean

trueProductMonoid :: MonoidObject (ProductFunctor Boolean) Tru

falseCoproductComonoid :: ComonoidObject (CoproductFunctor Boolean) Fls

trueProductComonoid :: ComonoidObject (ProductFunctor Boolean) Tru

falseCoproductMonoid :: MonoidObject (CoproductFunctor Boolean) Fls

trueCoproductMonoid :: MonoidObject (CoproductFunctor Boolean) Tru

falseProductComonoid :: ComonoidObject (ProductFunctor Boolean) Fls

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)