Lemma 13.20.2. Let $\mathcal{A}$ be an abelian category with enough injectives.

For any exact functor $F : K^{+}(\mathcal{A}) \to \mathcal{D}$ into a triangulated category $\mathcal{D}$ the right derived functor

\[ RF : D^{+}(\mathcal{A}) \longrightarrow \mathcal{D} \]is everywhere defined.

For any additive functor $F : \mathcal{A} \to \mathcal{B}$ into an abelian category $\mathcal{B}$ the right derived functor

\[ RF : D^{+}(\mathcal{A}) \longrightarrow D^{+}(\mathcal{B}) \]is everywhere defined.

## Comments (1)

Comment #8419 by ElĂas Guisado on