ScalingStacks

Corollary 2.1.6. In the setting of 2.1.5, the inclusion $\mathcal{C}^{\operatorname{\scriptsize{red}}}\hookrightarrow\mathcal{C}$ admits a right adjoint and the co-localization map $Y^{\operatorname{\scriptsize{red}}}\to Y$ can be taken to be the counit of the adjunction at $Y$.