**Proof.**
If $E$ is a classical generator for $\mathcal{D}_ c$, then $\mathcal{D}_ c = \langle E \rangle $. It follows formally from the assumption that $\mathcal{D}$ is compactly generated and Lemma 13.36.4 that $E$ is a generator for $\mathcal{D}$.

The converse is more interesting. Assume that $E$ is a generator for $\mathcal{D}$. Let $X$ be a compact object of $\mathcal{D}$. Apply Lemma 13.37.3 with $I = \{ 1\} $ and $E_1 = E$ to write

\[ X = \text{hocolim} X_ n \]

as in the lemma. Since $X$ is compact we find that $X \to \text{hocolim} X_ n$ factors through $X_ n$ for some $n$ (Lemma 13.33.9). Thus $X$ is a direct summand of $X_ n$. By Lemma 13.37.4 we see that $X$ is an object of $\langle E \rangle $ and the lemma is proven.
$\square$

## Comments (0)