ScalingStacks

Definition 3.4. A small stable $\infty$-category ${\mathcal{A}}$ is proper if, for all pairs of objects $a$ and $b$ of ${\mathcal{A}}$, the mapping spectrum ${\mathcal{A}}(a,b)$ (recall definition 2.15) is compact.