Colimit . category theory

Collection

context $F:{\bf C}^{\bf D}$
context $\Delta:{\bf C}\longrightarrow{\bf C}^{\bf D}$ … diagonal functor
definiendum $\mathrm{colim}\,F$ … initial morphism from $F$ to $\Delta$

Discussion

See Limit . category theory

Reference

Wikipedia: Limit (category theory)

Parents

Context

Diagonal functor

Requirements

Initial morphism