\begin{definition}[Definition:Right Derived Functor]
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$ and $Y$ be objects 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$.
Let $\map F I$ denote the cochain complex defined by applying the functor on cochains induced by $F$ to $I$.
Let $i \in \Z_{\ge 0}$ be a non-negative integer.
Let $\map {H^i} {\map F I}$ denote the $i$-th cohomology of $\map F I$.
The '''$i$-th right derived functor''' $\mathrm R^i F : \mathbf A \to \mathbf B$ of $F$ is defined on objects as:
:$\mathrm R^i \map F X := \map {H^i} {\map F I}$
{{explain|If $\mathrm R^i \map F X$ is just defined the same as $\map {H^i} {\map F I}$, then why define it at all?
This article defines a sequence of functors $\mathrm R^i F$ attached to $F$. The definition of the right derived functors of a functor is a central definition in homological algebra and should not be omitted. --Wandynsky (talk) 11:00, 28 July 2021 (UTC)}}
{{explain|It is not clear what exactly is being defined here. Do the following lines contribute to the definition? Can't figure out exactly what is what. <br/> As has been done here in the above rewrite, the best approach to defining something (and standard {{ProofWiki}} style) is: a) Write at the start all the objects that contribute to the definition: "Let... let... let..." b) State the definition in terms of all those objects. Do not use the word "any", it is ambiguous and loose.
Tried to fix it. Does it look better now? It's a bit tricky in this case. --Wandynsky (talk) 08:22, 28 July 2021 (UTC)
Definite improvement, but some way to go. Further explain templates have been added. Once I understand what this page says, I will be able to try to put it into a form that others on my level (I failed my CSE mathematics) can get to grips with.
How straightforward would it be to go to a source work and present the material as presented there?
In extremis I may reconcile it with my copy of Freyd, but "derived functor" is in an exercise right at the end, and I'd need to work through the book to understand it, and I've barely cracked it open.}}
{{explain|Are there in fact two different definitions being set up here? If that is the case, we need two different pages for them. Perhaps transclude one inside the other.}}
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}$.
\end{definition}