ScalingStacks

Theorem 7.4.34. There is an isomorphism of differential pointed monoidal categories ${\mathcal{U}}^{\bullet}\mathrel{\mathop{\kern 0.0pt\to}\limits^{\sim}}{\mathcal{S}}_{\otimes}^{\bullet}({\mathbf{R}}_{>0})$ defined by $e\mapsto\{1\}$ and $\tau$ maps to the non-zero and non-identity element of $\operatorname{End}\nolimits_{{\mathcal{S}}^{\bullet}({\mathbf{R}}_{>0})}(\{1,2\})$.