Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:defines |
A functor p: E → B is a fibered category if for every object X in E and every morphism f: b → p(X) in B, there exists a cartesian morphism over f with codomain X.
|
| gptkbp:field |
Category theory
|
| gptkbp:generalizes |
Indexed category
|
| gptkbp:introduced |
gptkb:Alexander_Grothendieck
|
| gptkbp:relatedTo |
Cartesian morphism
Grothendieck fibration |
| gptkbp:seeAlso |
gptkb:Grothendieck_construction
Category (mathematics) Fibration (category theory) |
| gptkbp:usedIn |
gptkb:Algebraic_geometry
Topos theory |
| gptkbp:bfsParent |
gptkb:Category_fibered_in_groupoids
|
| gptkbp:bfsLayer |
10
|
| https://www.w3.org/2000/01/rdf-schema#label |
Fibered category
|