Lemma 13.4.17. Let $F : \mathcal{D} \to \mathcal{D}'$ be a fully faithful exact functor of pre-triangulated categories. Then a triangle $(X, Y, Z, f, g, h)$ of $\mathcal{D}$ is distinguished if and only if $(F(X), F(Y), F(Z), F(f), F(g), F(h))$ is distinguished in $\mathcal{D}'$.

Proof. The “only if” part is clear. Assume $(F(X), F(Y), F(Z))$ is distinguished in $\mathcal{D}'$. Pick a distinguished triangle $(X, Y, Z', f, g', h')$ in $\mathcal{D}$. By Lemma 13.4.7 there exists an isomorphism of triangles

$(1, 1, c') : (F(X), F(Y), F(Z)) \longrightarrow (F(X), F(Y), F(Z')).$

Since $F$ is fully faithful, there exists a morphism $c : Z \to Z'$ such that $F(c) = c'$. Then $(1, 1, c)$ is an isomorphism between $(X, Y, Z)$ and $(X, Y, Z')$. Hence $(X, Y, Z)$ is distinguished by TR1. $\square$

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).