ScalingStacks

The \(\mathcal P^{\Sigma}\)-completion restricts to an equivalence \(\mathcal P^{\Sigma}\colon \mathrm{Cat}_{\infty}^{\sqcup, \mathrm{idem}}\rightarrow\mathrm{Pr}^{\mathrm{L},\mathrm{cp}}\) inverse to the functor \((-)^{\mathrm{cp}}\) from observation 3.2.7.([003T]).