homotopical algebraic geometry

GPTKB entity

Statements (24)
Predicate Object
gptkbp:instanceOf gptkb:mathematics
gptkbp:appliesTheory higher category theory
model categories
simplicial methods
gptkbp:developedBy early 2000s
gptkbp:focusesOn homotopical methods in algebraic geometry
gptkbp:hasConcept gptkb:∞-categories
gptkb:simplicial_presheaves
homotopy colimits
homotopy limits
model topoi
https://www.w3.org/2000/01/rdf-schema#label homotopical algebraic geometry
gptkbp:influencedBy gptkb:Quillen_model_categories
Grothendieck's ideas on stacks
gptkbp:notableContributor gptkb:Bertrand_Toën
gptkb:Gabriele_Vezzosi
gptkbp:relatedTo gptkb:topology
derived algebraic geometry
gptkbp:studies stacks
higher stacks
homotopy theory of schemes
gptkbp:bfsParent gptkb:Derived_Algebraic_Geometry
gptkb:Spectral_Algebraic_Geometry
gptkbp:bfsLayer 7