ScalingStacks

Corollary 3.12. For $\mathcal{V}$ a symmetric monoidal $\oo$-category which is $\otimes$-presentable, and for $R:\disk^{\partial,{\sf or}}_{1}\rightarrow\mathcal{V}$ a symmetric monoidal functor, there is a natural equivalence in $\mathcal{V}$:

$$R\bigl([-1,1)\bigr)\underset{R\bigl((-1,1)\bigr)}{\bigotimes}R\bigl((-1,1]\bigr)\xrightarrow{~\simeq~}\int_{[-1,1]}R~.$$