ScalingStacks

Remark 2.4. It is well known that the fully faithful inclusion $i:\cat_{k}\hookrightarrow\cat_{n}$ admits a right adjoint $j_{k}$. The right adjoint $j_{k}:\cat_{n}\to\cat_{k}$ carries a strict $n$-category $C$ the maximal $k$-category $j_{k}C$ contained therein.