ScalingStacks

Remark 5.4.3.

For \(n \geq k\), it is immediate from [GH15, Thm. 6.1.8] that \(\mathrm{Cat}_{({n}, {k})}\) coincides with [GH15, Def. 6.1.1]. In particular, \(\mathrm{Cat}_{({n}, {k})}\) is the \(\infty\)-category obtained from applying \(\mathrm{Cat}[-]\) \((n-k)\) times to the \(\infty\)-category of \((n-k)\)-truncated spaces \(\mathcal S_{\leq n-k}\), with its Cartesian presentably symmetric monoidal structure.