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$