The universal six-functor formalism

Brad Drew, Martin Gallauer

We prove that Morel-Voevodsky's stable ${\mathbb{A}}^1$-homotopy theory affords the universal coefficient system, giving rise to Grothendieck's six operations.