Coequalizer (source code)

= Coequalizer
{wiki=Coequalizer}

In category theory, a **coequalizer** is a construction that generalizes certain concepts from other areas of mathematics, such as functions and equivalence relations.