Coequalizer

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
Category theory concept
gptkbp:appearsIn gptkb:Abstract_algebra
Homological algebra
Category theory textbooks
gptkbp:defines A coequalizer is a universal construction that generalizes the notion of quotient in category theory.
gptkbp:dualPolyhedron Equalizer (mathematics)
gptkbp:hasProperty Universal property
https://www.w3.org/2000/01/rdf-schema#label Coequalizer
gptkbp:relatedTo gptkb:Functor
gptkb:Colimit
Category theory
Morphism
Equalizer (mathematics)
gptkbp:usedIn gptkb:Mathematics
gptkb:algebra
gptkb:Topology
gptkbp:bfsParent gptkb:Colimit_(category_theory)
gptkbp:bfsLayer 7