Coequalizer
Generalization of a quotient by an equivalence relation to objects in an arbitrary category / From Wikipedia, the free encyclopedia
In category theory, a coequalizer (or coequaliser) is a generalization of a quotient by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer.