The Stacks project

Proof. Set $X_1 = \bigoplus _{(i, m, \varphi )} E_ i[m]$ where the direct sum is over all triples $(i, m, \varphi )$ such that $i \in I$, $m \in \mathbf{Z}$ and $\varphi : E_ i[m] \to X$. Then $X_1$ comes equipped with a canonical morphism $X_1 \to X$. Given $X_ n \to X$ we set $Y_ n = \bigoplus _{(i, m, \varphi )} E_ i[m]$ where the direct sum is over all triples $(i, m, \varphi )$ such that $i \in I$, $m \in \mathbf{Z}$, and $\varphi : E_ i[m] \to X_ n$ is a morphism such that $E_ i[m] \to X_ n \to X$ is zero. Choose a distinguished triangle $Y_ n \to X_ n \to X_{n + 1} \to Y_ n[1]$ and let $X_{n + 1} \to X$ be any morphism such that $X_ n \to X_{n + 1} \to X$ is the given one; such a morphism exists by our choice of $Y_ n$. We obtain a morphism $\text{hocolim} X_ n \to X$ by the construction of our maps $X_ n \to X$. Choose a distinguished triangle

Let $E_ i[m] \to C$ be a morphism. Since $E_ i$ is compact, the composition $E_ i[m] \to C \to \text{hocolim} X_ n$ factors through $X_ n$ for some $n$, say by $E_ i[m] \to X_ n$. Then the construction of $Y_ n$ shows that the composition $E_ i[m] \to X_ n \to X_{n + 1}$ is zero. In other words, the composition $E_ i[m] \to C \to \text{hocolim} X_ n$ is zero. This means that our morphism $E_ i[m] \to C$ comes from a morphism $E_ i[m] \to X[-1]$. The construction of $X_1$ then shows that such morphism lifts to $\text{hocolim} X_ n$ and we conclude that our morphism $E_ i[m] \to C$ is zero. The assumption that $\bigoplus E_ i$ generates $\mathcal{D}$ implies that $C$ is zero and the proof is done. $\square$