Data.Category.Product

Documentation

data :*: where

Constructors

:**: :: c1 a1 b1 -> c2 a2 b2 -> :*: c1 c2 (a1, a2) (b1, b2)

Instances

(Category c1, Category c2) => Category (:*: c1 c2)

The product category of category c1 and c2.

data Proj1 c1 c2

Constructors

Proj1

Instances

Functor (Proj1 c1 c2)

data Proj2 c1 c2

Constructors

Proj2

Instances

Functor (Proj2 c1 c2)

data f1 :***: f2 where

Constructors

:***: :: (Functor f1, Functor f2, Category (Cod f1), Category (Cod f2)) => f1 -> f2 -> f1 :***: f2

Instances

Functor (:***: f1 f2)

data Hom (~>) where

Constructors

Hom :: Category ~> => Hom ~>

Instances

Functor (Hom ~>)

data DiagProd where

Constructors

DiagProd :: Category ~> => DiagProd ~>

Instances

Functor (DiagProd ~>)

HasInitialObject (Dialg (NatF (->)) (DiagProd (->)))