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

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

## Comments (1)

Comment #723 by Kestutis Cesnavicius on