Statements (21)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
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)
|
https://www.w3.org/2000/01/rdf-schema#label |
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 |
7
|