ScalingStacks

The \(\operatorname{Ind}\)-completion restricts to an equivalence \(\operatorname{Ind}\colon \mathrm{Cat}_{\infty}^{\mathrm{rex}, \mathrm{idem}}\rightarrow \mathrm{Pr}^{\mathrm{L},\mathrm{c}}\) inverse to the functor \((-)^{\mathrm{c}}\) from observation 3.2.7.([003S]).