CatGloss

A pushout is a colimit of shape \(\mathbf{P}^\op = \fbox{ $\begin{array}{c} \xymatrix{ \bullet \ar[r] \ar[d] &\bullet \\ \bullet } \end{array}$}\ .\)