ScalingStacks

The full subcategory \(\mathcal C^{\mathrm{cp}}\) of compact-projective objects is closed under retracts and finite coproducts [Lur09, Rem. 5.5.8.19] and hence defines an object \(\mathcal C^{\mathrm{cp}} \in \mathrm{Cat}_{\infty}^{\sqcup, \mathrm{idem}}\). This defines a functor \((-)^{\mathrm{cp}} \colon \mathrm{Pr}^{\mathrm{L},\mathrm{cp}}\rightarrow\mathrm{Cat}_{\infty}^{\sqcup, \mathrm{idem}}\).