導来圏

$\mathcal{A}$ をアーベル圏とする。Verdier 商 $\mathrm{D}^{*}(\mathcal{A}) = \mathrm{K}^{*}(\mathcal{A})/\mathrm{K}^{*}_{\mathrm{ac}}(\mathcal{A}) = \mathrm{K}^{*}(\mathcal{A})[\mathrm{Qis}^{-1}]$（定理 3.1、定理 2.3）を $\mathcal{A}$ の導来圏（$* = +, -, b$ のときはそれぞれ下に有界・上に有界・有界な導来圏）という。局所化関手 $\mathrm{K}^{*}(\mathcal{A}) \to \mathrm{D}^{*}(\mathcal{A})$ を $Q$ と書き、$\mathrm{C}^{*}(\mathcal{A}) \to \mathrm{K}^{*}(\mathcal{A})$ との合成も同じ記号で書く。