colimit_._category

Colimit . category theory

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$