ScalingStacks

Proof. The inclusion of gaunt $k$-categories commutes with colimits (as it admits a right adjoint, see Rk. 3.2), whence it is enough to consider the case $k=n$. This now follows readily from Corollary 3.4 and Proposition 2.7. ∎