ScalingStacks

[0KEV]

Definition 3.1. 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 M. Schlank, Lior Yanovski

Original source: arXiv:1902.04061v1

Original source ยท 1902.04061v1