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

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

2. $\mathcal{D}'$ is preserved under $[1], [-1]$ 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

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

Proof. Omitted. $\square$

Comment #1584 by Darij Grinberg on

Does "In this case $\mathcal{T}'$" mean "In this case, any $\mathcal{T}'$ satisfying (1)" or "In this case, there exists some $\mathcal{T}'$ satisfying (1) such that $\mathcal{T}'$?

There are also:

• 11 comment(s) on Section 13.4: Elementary results on triangulated categories

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).