Colimit (source code)

= Colimit
{title2=$\operatorname{colim}$}
{wiki}

A colimit is a universal cocone under a diagram: every other cocone factors through it uniquely.