论文标题
普遍的六函数形式主义
The universal six-functor formalism
论文作者
论文摘要
我们证明，Morel-Voevodsky的稳定$ \ Mathbb {a}^1 $ - homotophy理论提供了通用系数系统，从而引起了Grothendieck的六项操作。
We prove that Morel-Voevodsky's stable $\mathbb{A}^1$-homotopy theory affords the universal coefficient system, giving rise to Grothendieck's six operations.
