Wiki. 导出范畴 [导出范畴]

观念

Abel 范畴 $\mathcal A$ 的导出范畴是万有的以 $\mathcal A$ 为心的稳定 $\infty$-范畴.

导出范畴的一个模型是将链复形之间的拟同构视为同构, 即对拟同构作局部化. 此时 $\mathcal A$ 中的对象可视为聚集在 $0$ 位置的链复形.

定义

泛性质

参考 HA 1.3.3 节.

模型

设 $\mathcal A$ 为 Abel 范畴. 记 $W$ 为 $\mathcal A$ 中拟同构的全体, 定义导出范畴 $\mathsf{D}(\mathcal A)$ 为局部化 $$ \mathsf D(\mathcal A) := \mathsf {Ch}(\mathcal A)[W^{-1}]. $$

性质

在 $\mathcal A$ 为 Grothendieck Abel 范畴的前提下, $\mathsf {D}(\mathcal A)$ 是稳定无穷范畴.

相关概念