Lemma 63.7.2. If $\mathcal{A}$ has enough injectives, then $DF^+(\mathcal{A}) \cong K^+(\mathcal{I})$, where $\mathcal{I}$ is the full additive subcategory of $\text{Fil}^ f(\mathcal{A})$ consisting of filtered injective objects. Similarly, if $\mathcal{A}$ has enough projectives, then $DF^-(\mathcal{A}) \cong K^+(\mathcal{P})$, where $\mathcal P$ is the full additive subcategory of $\text{Fil}^ f(\mathcal{A})$ consisting of filtered projective objects.

Proof. Omitted. $\square$

There are also:

• 2 comment(s) on Section 63.7: Filtered derived category

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