Definition 13.9.1. Let $\mathcal{A}$ be an additive category. Let $f : K^\bullet \to L^\bullet $ be a morphism of complexes of $\mathcal{A}$. The *cone* of $f$ is the complex $C(f)^\bullet $ given by $C(f)^ n = L^ n \oplus K^{n + 1}$ and differential

It comes equipped with canonical morphisms of complexes $i : L^\bullet \to C(f)^\bullet $ and $p : C(f)^\bullet \to K^\bullet [1]$ induced by the obvious maps $L^ n \to C(f)^ n \to K^{n + 1}$.

## Comments (0)