Lemma 13.15.5. Let $\mathcal{A}$ be an abelian category. Let $\mathcal{I} \subset \mathop{\mathrm{Ob}}\nolimits (\mathcal{A})$ be a subset containing $0$ such that every object of $\mathcal{A}$ is a subobject of an element of $\mathcal{I}$. Let $a \in \mathbf{Z}$.

1. Given $K^\bullet$ with $K^ n = 0$ for $n < a$ there exists a quasi-isomorphism $K^\bullet \to I^\bullet$ with $K^ n \to I^ n$ injective and $I^ n \in \mathcal{I}$ for all $n$ and $I^ n = 0$ for $n < a$,

2. Given $K^\bullet$ with $H^ n(K^\bullet ) = 0$ for $n < a$ there exists a quasi-isomorphism $K^\bullet \to I^\bullet$ with $I^ n \in \mathcal{I}$ and $I^ n = 0$ for $n < a$.

Proof. This lemma is dual to Lemma 13.15.4. $\square$

There are also:

• 7 comment(s) on Section 13.15: 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).