Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alsoKnownAs |
fiber product
|
| gptkbp:category |
any category with limits
|
| gptkbp:definedIn |
universal property
|
| gptkbp:diagramShape |
span
|
| gptkbp:dualPolyhedron |
pushout (category theory)
|
| gptkbp:example |
product line
fiber product of schemes pullback of sets pullback of topological spaces |
| gptkbp:field |
gptkb:category_theory
|
| gptkbp:generalizes |
fibered product
inverse image |
| gptkbp:hasUniversalProperty |
for any object mapping to both objects in the diagram, there is a unique morphism to the pullback
|
| gptkbp:heldBy |
limit
|
| https://www.w3.org/2000/01/rdf-schema#label |
pullback (category theory)
|
| gptkbp:involves |
commutative square
|
| gptkbp:relatedTo |
pushout (category theory)
|
| gptkbp:usedIn |
gptkb:algebraic_geometry
gptkb:topology homological algebra |
| gptkbp:bfsParent |
gptkb:Limit_(category_theory)
|
| gptkbp:bfsLayer |
7
|