导数六函子形式主义 -- 定义与构造 I
摘要：德里余子版本的六函子形式理论的产生，使用了作者提出的纤维化多余子概念的扩展。使用（偶）纤维化二范畴的语言，这个定义（像通常的纤维化多余子）非常精确。这个定义不仅编码了六个函子之间的所有兼容性，还编码了它们与同伦Kan扩张的相互作用。可以说：一个九函子形式。这对于处理（共）下降问题至关重要。最后，证明了每个纤维化多余子（例如在自然界中出现的任何类型的派生的四函子形式$(f_*, f^*,\otimes, \mathcal{HOM})$）都满足基本换算和投影公式，在形式上产生这样的派生者六函子形式化，其中 $f_!=f_*$，即一个导因子格罗滕迪克背景。
作者：Fritz H"ormann
论文ID：1701.02152
分类：Category Theory
分类简称：math.CT
提交时间：2021-06-08