ScalingStacks

Proof. As noted in remark 2.13, since $\psi_{\tri}$ is the underlying simplicial category associated to a pretriangulated spectral category, $\Psi_{\perf}$ is characterized as the idempotent-completion of $\psi_{\tri}$ given by proposition 3.2 coupled with corollary 3.3. Finally, note that maps of spectral categories induce, by left Kan extension, finite colimit-preserving on the level of stable $\infty$-categories. ∎