CatGloss

A sum or coproduct is a colimit over a discrete category. (That is, it is a colimit of shape $\mathbf{I}$ for some discrete category $\mathbf{I}$.)