ScalingStacks

Example 3.5. The Cartesian monoidal $\oo$-category $(\spaces,\times)$ is $\otimes$-presentable. Likewise, for $R$ a ring then $\bigl({\sf Mod}_{R},\otimes\bigr)$, with tensor product relative $R$, is $\otimes$-presentable (though the opposite $\bigl({\sf Mod}_{R}^{\op},\otimes\bigr)$ is not).