Lemma 13.25.1. Let $\mathcal{A}$ be an abelian category with enough injectives Let $F : \mathcal{A} \to \mathcal{B}$ be an additive functor into an abelian category. Let $(i, j)$ be a resolution functor, see Definition 13.23.2. The right derived functor $RF$ of $F$ fits into the following $2$-commutative diagram

$\xymatrix{ D^{+}(\mathcal{A}) \ar[rd]_{RF} \ar[rr]^{j'} & & K^{+}(\mathcal{I}) \ar[ld]^ F \\ & D^{+}(\mathcal{B}) }$

where $j'$ is the functor from Lemma 13.23.6.

Proof. By Lemma 13.20.1 we have $RF(K^\bullet ) = F(j(K^\bullet ))$. $\square$

Comment #723 by Kestutis Cesnavicius on

Right before this lemma a closing parenthesis is missing.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).