Remark 13.12.4. Let $\mathcal{A}$ be an abelian category. Let $K^\bullet $ be a complex of $\mathcal{A}$. Let $a \in \mathbf{Z}$. We claim there is a canonical distinguished triangle

in $D(\mathcal{A})$. Here we have used the canonical truncation functors $\tau $ from Homology, Section 12.14. Namely, we first take the distinguished triangle associated by our $\delta $-functor (Lemma 13.12.1) to the short exact sequence of complexes

Next, we use that the map $K^\bullet \to \tau _{\geq a + 1}K^\bullet $ factors through a quasi-isomorphism $K^\bullet /\tau _{\leq a}K^\bullet \to \tau _{\geq a + 1}K^\bullet $ by the description of cohomology groups in Homology, Section 12.14. In a similar way we obtain canonical distinguished triangles

and

## Comments (0)