ScalingStacks

Proposition 3.4. The inclusion

$$\gaunt_{n}\hookrightarrow\cat_{n}$$

admits a left adjoint $L^{G}$ that exhibits $\gaunt_{n}$ as a localization of $\cat_{n}$. ∎