ScalingStacks

[05ZM]

Example 5.3.2. Let 𝒫→𝒬\mathcal{P}\to\mathcal{Q} be a dd-equivalence of reduced ∞\infty-operads. For every integer k≥0k\geq 0, the induced map 𝒫⊗𝔼k→𝒬⊗𝔼k\mathcal{P}\otimes\mathbb{E}_{k}\to\mathcal{Q}\otimes\mathbb{E}_{k} is a (d+k)\left(d+k\right)-equivalence.

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 39

Original source · 1808.06006v3