Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:category |
Category theory concepts
|
| gptkbp:definedIn |
Category
Diagram (category theory) |
| gptkbp:dualPolyhedron |
Limit (category theory)
|
| gptkbp:example |
gptkb:Coequalizer
gptkb:Coproduct Direct limit Pushout |
| gptkbp:field |
Category theory
|
| gptkbp:generalizes |
gptkb:Coproduct_(category_theory)
gptkb:Coequalizer_(category_theory) gptkb:Pushout_(category_theory) |
| gptkbp:hasProperty |
Universal property
|
| https://www.w3.org/2000/01/rdf-schema#label |
Colimit (category theory)
|
| gptkbp:introduced |
gptkb:Saunders_Mac_Lane
|
| gptkbp:isToLimitAs |
Coproduct is to Product
|
| gptkbp:notation |
colim
colim_D F(D) |
| gptkbp:relatedTo |
Limit (category theory)
|
| gptkbp:usedIn |
gptkb:Mathematics
gptkb:algebra gptkb:Topology Homological algebra |
| gptkbp:bfsParent |
gptkb:Universal_(mathematics)
|
| gptkbp:bfsLayer |
6
|