Lemma 22.20.10. In Situation 22.20.2 let $f: x \to y$ be a morphism in $\text{Comp}(\mathcal{A})$. The triangle $(y, c(f), x[1], i, p, f[1])$ is the triangle associated to the admissible short exact sequence

where the cone $c(f)$ is defined as in Lemma 22.20.1.

## Comments (0)