Pullback (category theory)

GPTKB entity

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