ScalingStacks

Definition 5.1.1.

We set \(\mathrm{Cat}_{(\infty, {0})} \coloneqq \mathcal S\) to be the \(\infty\)-category of small spaces, and equip it with its Cartesian presentably symmetric monoidal structure. We inductively define the Cartesian²⁰ presentably symmetric monoidal \(\infty\)-category of \((\infty, k)\)-categories \(\mathrm{Cat}_{(\infty, {k})}\coloneqq\mathrm{Cat}[\mathrm{Cat}_{(\infty, {k-1})}]\).