Verdier 商

$\mathcal{D}$ を三角圏、$\mathcal{N}$ を充満三角部分圏とする。三角圏 $\mathcal{D}/\mathcal{N}$ と三角関手 $Q\colon \mathcal{D} \to \mathcal{D}/\mathcal{N}$ の組で、$X \in \mathcal{N}$ なら $Q(X) \cong 0$ であり、$\mathcal{N}$ の対象を零対象に送る任意の三角関手 $F\colon \mathcal{D} \to \mathcal{D}'$ が三角関手 $\bar F\colon \mathcal{D}/\mathcal{N} \to \mathcal{D}'$ によって $F = \bar F \circ Q$ と一意に分解するものを、$\mathcal{D}$ の $\mathcal{N}$ による Verdier 商という。