CatGloss

A coequalizer is a colimit of shape $\mathbf{E}$.

This site is open source. Improve this page.