Statements (31)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:appliesTo |
algebraic varieties
|
| gptkbp:category |
gptkb:A1-homotopy_category
|
| gptkbp:developedBy |
gptkb:Vladimir_Voevodsky
gptkb:Fabien_Morel |
| gptkbp:field |
gptkb:algebraic_geometry
gptkb:topology |
| gptkbp:generalizes |
classical homotopy theory
|
| gptkbp:hasApplication |
arithmetic geometry
algebraic cycles enumerative geometry |
| gptkbp:hasConcept |
gptkb:motivic_stable_homotopy_category
motivic cohomology A1-weak equivalence motivic space motivic spectrum |
| https://www.w3.org/2000/01/rdf-schema#label |
motivic homotopy theory
|
| gptkbp:influencedBy |
motivic theory
classical homotopy theory |
| gptkbp:introducedIn |
1990s
|
| gptkbp:notableAchievement |
proof of Bloch–Kato conjecture
proof of Milnor conjecture |
| gptkbp:relatedTo |
gptkb:algebraic_K-theory
motives motivic cohomology stable homotopy theory |
| gptkbp:studies |
homotopy theory of schemes
|
| gptkbp:uses |
gptkb:A1-homotopy
|
| gptkbp:bfsParent |
gptkb:Algebraic_geometry
gptkb:k-theory |
| gptkbp:bfsLayer |
5
|