The coequalizer of parallel arrows is a universal arrow satisfying . Every other arrow equalizing and factors uniquely through .
In category theory, a **coequalizer** is a construction that generalizes certain concepts from other areas of mathematics, such as functions and equivalence relations.
New to topics? Read the docs here!