ScalingStacks

Example 3.8. For a commutative derived ring $k$, the stable $\infty$-category $\Mod_{k}$ of $k$-modules is compactly generated. In fact, it is generated by the free module $k$ itself.