Lemma 13.4.16. Let $\mathcal{D}$ be a pre-triangulated category. Assume that $\mathcal{D}'$ is an additive full subcategory of $\mathcal{D}$. The following are equivalent

there exists a set of triangles $\mathcal{T}'$ such that $(\mathcal{D}', \mathcal{T}')$ is a pre-triangulated subcategory of $\mathcal{D}$,

$\mathcal{D}'$ is preserved under $[1]$ and $[1] : \mathcal{D}' \to \mathcal{D}'$ is an auto-equivalence and given any morphism $f : X \to Y$ in $\mathcal{D}'$ there exists a distinguished triangle $(X, Y, Z, f, g, h)$ in $\mathcal{D}$ such that $Z$ is isomorphic to an object of $\mathcal{D}'$.

In this case $\mathcal{T}'$ as in (1) is the set of distinguished triangles $(X, Y, Z, f, g, h)$ of $\mathcal{D}$ such that $X, Y, Z \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D}')$. Finally, if $\mathcal{D}$ is a triangulated category, then (1) and (2) are also equivalent to

$\mathcal{D}'$ is a triangulated subcategory.

## Comments (1)

Comment #1584 by Darij Grinberg on

There are also: