Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:Category_theory_concept |
| gptkbp:definedIn |
Category theory
|
| gptkbp:dualPolyhedron |
gptkb:Limit_(category_theory)
|
| gptkbp:formedBy |
Universal property
|
| gptkbp:generalizes |
gptkb:Coequalizer
gptkb:Coproduct Direct limit Pushout |
| gptkbp:hasProperty |
gptkb:Universal
Functorial |
| gptkbp:relatedTo |
gptkb:Limit_(category_theory)
|
| gptkbp:usedIn |
gptkb:Mathematics
gptkb:algebra gptkb:Topology Homological algebra |
| gptkbp:bfsParent |
gptkb:Coproduct_(category_theory)
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Colimit
|