Coequalizer (category theory)

GPTKB entity

Statements (25)
Predicate Object
gptkbp:instanceOf concept in category theory
gptkbp:category any category with colimits
gptkbp:defines A coequalizer is a universal construction that generalizes the notion of quotient in category theory.
gptkbp:dualPolyhedron gptkb:equalizer_(category_theory)
gptkbp:example quotient space
quotient group
cokernel in abelian categories
gptkbp:field gptkb:category_theory
gptkbp:firstAppearance 20th century mathematics literature
gptkbp:generalizes quotient
gptkbp:hasProperty universal property
https://www.w3.org/2000/01/rdf-schema#label Coequalizer (category theory)
gptkbp:involves commutative diagram
parallel morphisms
gptkbp:isA colimit
gptkbp:relatedTo gptkb:equalizer_(category_theory)
colimit
cokernel
gptkbp:symbol coeq
gptkbp:usedIn gptkb:algebra
gptkb:mathematics
gptkb:topology
homological algebra
gptkbp:bfsParent gptkb:Colimit_(category_theory)
gptkbp:bfsLayer 7