ScalingStacks

Definition 3.7. A stable category $\mathcal{C}$ is said to be compactly generated if there is a small $\infty$-category $\mathcal{C}^{\circ}$ of compact objects $C_{i}\in\mathcal{C}$ whose right orthogonal vanishes: if $M\in\mathcal{C}$ satisfies $\operatorname{\Hom}_{\mathcal{C}}(C_{i},M)\simeq 0$, for all $i$, then $M\simeq 0$.