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