Lemma 22.33.1. The functor (22.33.0.1) defines an exact functor of triangulated categories K(\text{Mod}_{(A, \text{d})}) \to K(\text{Mod}_{(B, \text{d})}).
Proof. Via Lemma 22.29.1 and Remark 22.29.2 this follows from the general principle of Lemma 22.27.17. \square
Comments (0)