Definition 13.3.4. Let $(\mathcal{D}, [\ ], \mathcal{T})$ be a pre-triangulated category. A *pre-triangulated subcategory*^{1} is a pair $(\mathcal{D}', \mathcal{T}')$ such that

$\mathcal{D}'$ is an additive subcategory of $\mathcal{D}$ which is preserved under $[1]$ and such that $[1] : \mathcal{D}' \to \mathcal{D}'$ is an auto-equivalence,

$\mathcal{T}' \subset \mathcal{T}$ is a subset such that for every $(X, Y, Z, f, g, h) \in \mathcal{T}'$ we have $X, Y, Z \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D}')$ and $f, g, h \in \text{Arrows}(\mathcal{D}')$, and

$(\mathcal{D}', [\ ], \mathcal{T}')$ is a pre-triangulated category.

If $\mathcal{D}$ is a triangulated category, then we say $(\mathcal{D}', \mathcal{T}')$ is a *triangulated subcategory* if it is a pre-triangulated subcategory and $(\mathcal{D}', [\ ], \mathcal{T}')$ is a triangulated category.

## Comments (0)

There are also: