Definition 13.16.2. Let $F : \mathcal{A} \to \mathcal{B}$ be an additive functor between abelian categories. Assume $RF : D^{+}(\mathcal{A}) \to D^{+}(\mathcal{B})$ is everywhere defined. Let $i \in \mathbf{Z}$. The *$i$th right derived functor $R^ iF$ of $F$* is the functor

\[ R^ iF = H^ i \circ RF : \mathcal{A} \longrightarrow \mathcal{B} \]

## Comments (0)