ScalingStacks

Definition 3.4. We say symmetric monoidal $\oo$-category $\mathcal{V}$ is $\otimes$-presentable if it satisfies both of the following conditions.

• •

  $\mathcal{V}$ is presentable: with respect to an understood fixed uncountable cardinal, $\mathcal{V}$ admits colimits and every object is a filtered colimit of compact objects.

• •

  The monoidal structure distributes over small colimits: for each object $V\in\mathcal{V}$, the functor $V\otimes-\colon\mathcal{V}\to\mathcal{V}$ carries colimit diagrams to colimit diagrams.