Editing Coequalizer (section)

{{Short description|Generalization of a quotient by an equivalence relation to objects in an arbitrary category}}
{{Use American English|date=March 2021}}
{{Use mdy dates|date=March 2021}}

In [[category theory]], a '''coequalizer''' (or '''coequaliser''') is a generalization of a [[quotient set|quotient]] by an [[equivalence relation]] to objects in an arbitrary [[category (mathematics)|category]]. It is the categorical construction [[dual (category theory)|dual]] to the [[equaliser (mathematics)|equalizer]].