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
Article
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 .
Connections
strict 2-category
Entity
quotient group
Entity
morphism
Entity
limit
Entity
universal property
Entity
higher category theory
Entity
International Standard Book Number
Entity
natural number
Entity
function
Entity
isomorphism
Entity
equivalence relation
Entity
abelian group
Entity
surjective function
Entity
category theory
Entity
monoid
Entity
category
Entity
group homomorphism
Entity
Springer Science+Business Media
Entity
magma
Entity
Saunders Mac Lane
Entity