ScalingStacks

Observation 5.1.3.

Consider the diagram of adjunctions, where \(i\) denotes the fully faithful inclusion of spaces as \(\infty\)-groupoids. Since all these functors preserve finite products²¹ , they are all symmetric monoidal. By applying \(\mathrm{Cat}[-]\) iteratively, we obtain an analogous diagram of symmetric monoidal adjoint functors for any \(k \geq 0\) (with \(i_{k+1}\) fully faithful). Thereafter, for any \(j \geq k \geq 0\) we obtain an analogous diagram of symmetric monoidal adjoint functors by composition.