ScalingStacks

[0M2X]

Definition 3.2.1. For d≥−2d\geq-2, a map of ∞\infty-operads f:𝒪→𝒰f\colon\mathcal{O}\to\mathcal{U} is called a dd-equivalence, if the induced map hd+1​(f):hd+1​𝒪→hd+1​𝒰h_{d+1}\left(f\right)\colon h_{d+1}\mathcal{O}\to h_{d+1}\mathcal{U} is an equivalence of ∞\infty-operads, ie if it is essentially surjective on the underlying categories and induces an equivalence on the dd-truncations of all the multi-mapping spaces.

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 · 1808.06006v3