Remark 13.10.4. Let $\mathcal{A}$ be an additive category. Exactly the same proof as the proof of Proposition 13.10.3 shows that the categories $K^{+}(\mathcal{A})$, $K^{-}(\mathcal{A})$, and $K^ b(\mathcal{A})$ are triangulated categories. Namely, the cone of a morphism between bounded (above, below) is bounded (above, below). But we prove below that these are triangulated subcategories of $K(\mathcal{A})$ which gives another proof.
Comments (2)
Comment #8866 by Elías Guisado on
Comment #9220 by Stacks project on