Lemma 13.34.3. Let $\mathcal{A}$ be an abelian category with countable products and enough injectives. Let $(K_ n)$ be an inverse system of $D^+(\mathcal{A})$. Then $R\mathop{\mathrm{lim}}\nolimits K_ n$ exists.

Proof. It suffices to show that $\prod K_ n$ exists in $D(\mathcal{A})$. For every $n$ we can represent $K_ n$ by a bounded below complex $I_ n^\bullet$ of injectives (Lemma 13.18.3). Then $\prod K_ n$ is represented by $\prod I_ n^\bullet$, see Lemma 13.31.5. $\square$

Comment #2464 by anonymous on

In the lemma it should be $D^+$ and not $D^-$.

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).