ScalingStacks

[0M2V]

Definition 3.1.6. Let d≥−1d\geq-1. An essentially dd-operad is an ∞\infty-operad 𝒪\mathcal{O} such that for all X1,…,Xn,Y∈𝒪¯X_{1},\dots,X_{n},Y\in\underline{\mathcal{O}}, the multi-mapping space Mul𝒪​({X1,…,Xn},Y)\mbox{Mul}_{\mathcal{O}}\left(\left\{X_{1},\dots,X_{n}\right\};Y\right) is (d−1)\left(d-1\right)-truncated. We denote by 𝐎𝐩d\mathbf{Op}_{d} the full subcategory of 𝐎𝐩∞\mathbf{Op}_{\infty} spanned by essentially dd -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 · 1808.06006v3