Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:Limit_(category_theory) |
| gptkbp:alsoKnownAs |
gptkb:Fiber_product
|
| gptkbp:appearsIn |
Mac Lane, Saunders. Categories for the Working Mathematician
|
| gptkbp:definedIn |
A universal construction for a pair of morphisms with a common codomain
|
| gptkbp:field |
Category theory
|
| gptkbp:hasDiagramType |
Commutative square
|
| gptkbp:hasProperty |
Dual to pushout
Special case of limit |
| gptkbp:hasUniversalProperty |
For any object mapping to both sources, there is a unique morphism to the pullback
|
| gptkbp:hasWikipediaPage |
https://en.wikipedia.org/wiki/Pullback_(category_theory)
|
| gptkbp:relatedTo |
gptkb:Fiber_product
gptkb:Pushout_(category_theory) |
| gptkbp:symbol |
P
|
| gptkbp:usedIn |
gptkb:Mathematics
gptkb:Topology gptkb:Algebraic_geometry Homological algebra |
| gptkbp:bfsParent |
gptkb:Product_(category_theory)
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Pullback (category theory)
|