Coequalizer (category theory)
GPTKB entity
Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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 |
gptkb:quotient_space
gptkb:quotient_group cokernel in abelian categories |
| gptkbp:field |
gptkb:category_theory
|
| gptkbp:firstAppearance |
20th century mathematics literature
|
| gptkbp:generalizes |
quotient
|
| gptkbp:hasProperty |
universal property
|
| 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 |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Coequalizer (category theory)
|