Waldhausen’s algebraic
-theory
machinery is applied to Morel–Voevodsky
-homotopy, producing an
interesting
-homotopy
type. Over a field
of characteristic zero, its path components receive a surjective
ring homomorphism from the Grothendieck ring of varieties over
.
Keywords
Grothendieck ring of varieties, motivic homotopy theory,
Waldhausen $K$-theory of spaces