In category theory, a **coequalizer** is a construction that generalizes certain concepts from other areas of mathematics, such as functions and equivalence relations.
Articles by others on the same topic
The coequalizer of parallel arrows is a universal arrow satisfying . Every other arrow equalizing and factors uniquely through .