A1-homotopy category

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf mathematical category
gptkbp:alsoKnownAs motivic homotopy category
gptkbp:baseScheme arbitrary base scheme
gptkbp:citation Voevodsky, Morel, 'A1-homotopy theory of schemes'
gptkbp:field gptkb:algebraic_geometry
homotopy theory
gptkbp:generalizes classical homotopy category
https://www.w3.org/2000/01/rdf-schema#label A1-homotopy category
gptkbp:introduced gptkb:Vladimir_Voevodsky
gptkb:Fabien_Morel
gptkbp:introducedIn 1990s
gptkbp:morphisms A1-homotopy classes of maps
gptkbp:objects smooth schemes over a base scheme
gptkbp:relatedTo gptkb:motivic_stable_homotopy_category
stable homotopy category
gptkbp:usedFor gptkb:algebraic_K-theory
motivic cohomology
gptkbp:bfsParent gptkb:motivic_homotopy_theory
gptkbp:bfsLayer 6