coequalizer
Sign in to saveAlso known as coequaliser
In category theory, a coequalizer (or coequaliser) is a generalization of the quotient of a set by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer.
~4 min read
Encyclopedic overview
8 sectionsContents
- Definition
- Examples
- Properties
- Special cases
- See also
- Notes
- References
- External links
In category theory, a coequalizer (or coequaliser) is a generalization of the quotient of a set by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer.
== Definition == A coequalizer is the colimit of a diagram consisting of two objects X and Y and two parallel morphisms .
Excerpted from Wikipedia’s “coequalizer” article, available under the CC BY-SA 4.0 licence.