Data.Category.Coproduct

Documentation

data I1 a

data I2 a

data :++: where

Constructors

I1 :: c1 a1 b1 -> :++: c1 c2 (I1 a1) (I1 b1)

I2 :: c2 a2 b2 -> :++: c1 c2 (I2 a2) (I2 b2)

Instances

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

The coproduct category of category c1 and c2.

data Inj1 c1 c2

Constructors

Inj1

Instances

(Category c1, Category c2) => Functor (Inj1 c1 c2)

data Inj2 c1 c2

Constructors

Inj2

Instances

(Category c1, Category c2) => Functor (Inj2 c1 c2)

data f1 :+++: f2

Constructors

f1 :+++: f2

Instances

(Functor f1, Functor f2) => Functor (:+++: f1 f2)

data CodiagCoprod (~>)

Constructors

CodiagCoprod

Instances

Category ~> => Functor (CodiagCoprod ~>)

data Cotuple1 c1 c2 a

Constructors

Cotuple1 (Obj c1 a)

Instances

(Category c1, Category c2) => Functor (Cotuple1 c1 c2 a1)

data Cotuple2 c1 c2 a

Constructors

Cotuple2 (Obj c2 a)

Instances

(Category c1, Category c2) => Functor (Cotuple2 c1 c2 a2)