Lemma 13.16.9. Let $F : \mathcal{A} \to \mathcal{B}$ be an exact functor of abelian categories. Then

every object of $\mathcal{A}$ is right acyclic for $F$,

$RF : D^{+}(\mathcal{A}) \to D^{+}(\mathcal{B})$ is everywhere defined,

$RF : D(\mathcal{A}) \to D(\mathcal{B})$ is everywhere defined,

every complex computes $RF$, in other words, the canonical map $F(K^\bullet ) \to RF(K^\bullet )$ is an isomorphism for all complexes, and

$R^ iF = 0$ for $i \not= 0$.

## Comments (3)

Comment #4282 by David Benjamin Lim on

Comment #4446 by Johan on

Comment #4855 by David Benjamin Lim on