Lemma 13.9.17. Let $\mathcal{A}$ be an additive category. Let $f : K^\bullet \to L^\bullet $ be a morphism of complexes. The triangle $(L^\bullet , C(f)^\bullet , K^\bullet [1], i, p, f[1])$ is the triangle associated to the termwise split sequence

coming from the definition of the cone of $f$.

## Comments (0)