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,

\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}
a \arrow[bend left]{r}{f} \arrow[bend right]{r}[swap]{g} & b
\end{tikzcd}
\end{document}