Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:category_theory_concept |
| gptkbp:appearsIn |
category theory textbooks
|
| gptkbp:definedIn |
an object E and a morphism e: E → A such that f∘e = g∘e and universal with respect to this property
|
| gptkbp:describes |
a universal construction
|
| gptkbp:example |
kernel in the category of groups
pullback of the diagonal morphism |
| gptkbp:field |
gptkb:category_theory
|
| gptkbp:hasDual |
coequalizer (category theory)
|
| gptkbp:hasProperty |
unique up to isomorphism
|
| gptkbp:involves |
two parallel morphisms f, g: A → B
|
| gptkbp:isA |
limit
|
| gptkbp:property |
for any object X with morphism x: X → A such that f∘x = g∘x, there exists a unique morphism u: X → E such that e∘u = x
|
| gptkbp:relatedTo |
limit (category theory)
coequalizer (category theory) |
| gptkbp:symbol |
Eq(f, g)
|
| gptkbp:usedIn |
gptkb:algebra
gptkb:mathematics gptkb:topology homological algebra |
| gptkbp:bfsParent |
gptkb:Coequalizer_(category_theory)
|
| gptkbp:bfsLayer |
9
|
| https://www.w3.org/2000/01/rdf-schema#label |
equalizer (category theory)
|