Data.Category.Hask

Documentation

type Hask = (->)

unHaskNat :: Funct (->) d (FunctO (->) d f) (FunctO (->) d g) -> Component f g a

This isn't really working, and there really needs to be a solution for this.

data Zero

Any empty data type is an initial object in Hask.

magic :: Zero -> a

initObjInHask :: Limit (Id (->)) Zero

An alternative way to define the initial object.

termObjInHask :: Colimit (Id (->)) ()

An alternative way to define the terminal object.

data ProdInHask

The product functor, Hask^2 -> Hask

Constructors

ProdInHask

Instances

(Dom f ~ Pair, Cod f ~ (->), Dom g ~ Pair, Cod g ~ (->)) => FunctorA ProdInHask (FunctO Pair (->) f) (FunctO Pair (->) g)

prodInHaskAdj :: Adjunction (Diag Pair (->)) ProdInHask

The product functor is right adjoint to the diagonal functor.

data CoprodInHask

The coproduct functor, Hask^2 -> Hask

Constructors

CoprodInHask

Instances

(Dom f ~ Pair, Cod f ~ (->), Dom g ~ Pair, Cod g ~ (->)) => FunctorA CoprodInHask (FunctO Pair (->) f) (FunctO Pair (->) g)

coprodInHaskAdj :: Adjunction CoprodInHask (Diag Pair (->))

The coproduct functor is left adjoint to the diagonal functor.