Coequalizer (Category Theory)

In category theory, a coequalizer of two morphisms $f,g:a\to b$ is a morphism $h:b\to c$ such that $h\circ f=h\circ g$. It can be considered as the quotient by the equation $fx=gx$.

This is exactly a colimit of the diagram,