Lemma 22.27.10. In Situation 22.27.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
\[ \xymatrix{y\ar[r] & c(f) \ar[r] & x[1]} \]
where the cone $c(f)$ is defined as in Lemma 22.27.1.
Comments (0)