充満三角部分圏・厚い部分圏

$\mathcal{D}$ を三角圏とする。充満部分圏 $\mathcal{N}$ が充満三角部分圏であるとは、零対象を含み、同型で閉じ（$X \in \mathcal{N}$、$X \cong X'$ なら $X' \in \mathcal{N}$）、$[1]$ と $[-1]$ で閉じ、完全三角形 $(X, Y, Z, u, v, w)$ で $X, Y \in \mathcal{N}$ なら $Z \in \mathcal{N}$ となることをいう。さらに直和因子で閉じる（$X \oplus X' \in \mathcal{N}$ なら $X \in \mathcal{N}$）とき、$\mathcal{N}$ を厚い部分圏（épaisse）という。