Source: JMM 2025

$\mathbb{A}^1$-homotopy theory

Morel-Voevodsky constructed $$ \text{SH}(k)=\text{ stable }\mathbb{A}^1\text{-homotopy theory} $$ which is powerful because it takes in both smooth $k$-schemes and topological spaces.

TBD