Definition 13.16.3. In Situation 13.16.1.

1. The right derived functors of $F$ are the partial functors $RF$ associated to cases (1) and (2) of Situation 13.16.1.

2. The left derived functors of $F$ are the partial functors $LF$ associated to cases (3) and (4) of Situation 13.16.1.

3. An object $A$ of $\mathcal{A}$ is said to be right acyclic for $F$, or acyclic for $RF$ if $A[0]$ computes $RF$.

4. An object $A$ of $\mathcal{A}$ is said to be left acyclic for $F$, or acyclic for $LF$ if $A[0]$ computes $LF$.

Comment #2066 by Hu Fei on

In tag 0157, the last word it may be $LF$.

There are also:

• 5 comment(s) on Section 13.16: Derived functors on derived categories

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).