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.
Wikidata facts
- Subclass of
- colimit
Show 3 more facts
- studied by
- category theory
- opposite of
- equaliser
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
~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.