Data.Category.Functor

Documentation

data Diag j (~>)

The diagonal functor from (index-) category J to (~>).

Constructors

Diag

Instances

(CategoryO ~> a, CategoryO ~> b) => FunctorA (Diag (->) ~>) a b

(CategoryO ~> a, CategoryO ~> b) => FunctorA (Diag Void ~>) a b

(CategoryO ~> a, CategoryO ~> b) => FunctorA (Diag Pair ~>) a b

type Cone f n = Const (Dom f) (Cod f) n :~> f

A cone from N to F is a natural transformation from the constant functor to N to F.

type Cocone f n = f :~> Const (Dom f) (Cod f) n

A co-cone from F to N is a natural transformation from F to the constant functor to N.

type Limit f l = TerminalUniversal f (Diag (Dom f) (Cod f)) l

type Colimit f l = InitialUniversal f (Diag (Dom f) (Cod f)) l