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)