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
|