Lemma 13.4.15. Let $\mathcal{D}$ be a pre-triangulated category. In order to prove TR4 it suffices to show that given any pair of composable morphisms $f : X \to Y$ and $g : Y \to Z$ there exist

1. isomorphisms $i : X' \to X$, $j : Y' \to Y$ and $k : Z' \to Z$, and then setting $f' = j^{-1}fi : X' \to Y'$ and $g' = k^{-1}gj : Y' \to Z'$ there exist

2. distinguished triangles $(X', Y', Q_1, f', p_1, d_1)$, $(X', Z', Q_2, g' \circ f', p_2, d_2)$ and $(Y', Z', Q_3, g', p_3, d_3)$, such that the assertion of TR4 holds.

Proof. The replacement of $X, Y, Z$ by $X', Y', Z'$ is harmless by our definition of distinguished triangles and their isomorphisms. The lemma follows from the fact that the distinguished triangles $(X', Y', Q_1, f', p_1, d_1)$, $(X', Z', Q_2, g' \circ f', p_2, d_2)$ and $(Y', Z', Q_3, g', p_3, d_3)$ are unique up to isomorphism by Lemma 13.4.7. $\square$

There are also:

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