 Coequalizer

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