Definition:Right Derived Functor

Definition
Let $\mathbf A$ be an abelian category with enough injectives.

Let $\mathbf B$ be an abelian category.

Let $F: \mathbf A \to \mathbf B$ be a left-exact functor.

Let $X$ be an object of $\mathbf A$.

Let $f: X \to Y$ be a morphism of $\mathbf A$.

Let $I$ be an arbitrary injective resolution of $X$.

Let $J$ be an arbitrary injective resolution of $Y$.

Let $\tilde f : I \to J$ be a morphism of cochain complexes induced by $f$.

The $i$-th right derived functor $\mathrm R^i F$ of $F$ is defined on objects as:


 * $\mathrm R^i \map F X := \map {H^i} {\map F I}$

The $i$-th right derived functor $\mathrm R^i F$ of $F$ is defined on morphisms as follows:

Define $\mathrm R^i \map F f: \mathrm R^i \map F X \to \mathrm R^i \map F Y$ by the induced map $\map {H^i} {\map F {\tilde f} } : \map {H^i} {\map F I} \to \map {H^i} {\map F J}$.

Also see

 * Injective Resolution Exists Iff Enough Injectives
 * Induced Functor of Cochain Complex is Cochain Complex
 * Cochain Morphism Induced by Morphism
 * Right Derived Functor is Unique up to Unique Isomorphism
 * Definition:Left Derived Functor