ScalingStacks

[05X7]

Remark 2.2.7. Using 2.1.1, we have an equivalence of ∞\infty-categories 𝐎𝐩∞,∗≃(𝐎𝐩∞)𝐓𝐫𝐢𝐯/\mathbf{Op}_{\infty,*}\simeq\left(\mathbf{Op}_{\infty}\right)_{\mathbf{Triv}/}. Since 𝐓𝐫𝐢𝐯→𝔼0\mathbf{Triv}\to\mathbb{E}_{0} is an equivalence after tensoring with 𝔼0\mathbb{E}_{0}, we get 𝐎𝐩∞,∗un≃(𝐎𝐩∞un)𝔼0/\mathbf{Op}_{\infty,*}^{\operatorname{\scriptsize{un}}}\simeq\left(\mathbf{Op}_{\infty}^{\operatorname{\scriptsize{un}}}\right)_{\mathbb{E}_{0}/} and therefore also 𝐎𝐩∞,∗red≃(𝐎𝐩∞red)𝔼0/\mathbf{Op}_{\infty,*}^{\operatorname{\scriptsize{red}}}\simeq(\mathbf{Op}_{\infty}^{\operatorname{\scriptsize{red}}})_{\mathbb{E}_{0}/}. We allow ourselves to pass freely between the two points of view on (unital, reduced) pointed ∞\infty-operads.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Tomer Schlank, Lior Yanovski

Original source: arXiv:1808.06006v3

Original source page 11

Original source · 1808.06006v3