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