Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
Category theory concept |
| gptkbp:appearsIn |
Category theory textbooks
|
| gptkbp:definedIn |
A colimit of a span in a category
|
| gptkbp:dualPolyhedron |
gptkb:Pullback_(category_theory)
|
| gptkbp:field |
Category theory
|
| gptkbp:generalizes |
gptkb:Coproduct
|
| gptkbp:hasDiagramType |
Commutative square
|
| gptkbp:hasProperty |
Universal property
|
| gptkbp:hasWikipediaPage |
https://en.wikipedia.org/wiki/Pushout_(category_theory)
|
| https://www.w3.org/2000/01/rdf-schema#label |
Pushout (category theory)
|
| gptkbp:isColimitOf |
Span (category theory)
|
| gptkbp:relatedTo |
gptkb:Colimit
gptkb:Pullback_(category_theory) |
| gptkbp:symbol |
A ⨿_C B
|
| gptkbp:usedIn |
gptkb:algebra
gptkb:Topology Homological algebra |
| gptkbp:bfsParent |
gptkb:Colimit_(category_theory)
|
| gptkbp:bfsLayer |
7
|