ScalingStacks

[0M2N]

Definition 2.2.1. (A.2.3.1.1, A.2.3.4.1) An ∞\infty-operad 𝒪\mathcal{O} is called:

  1. (1)

    Unital if for every object XX of 𝒪¯\underline{\mathcal{O}}, the space of constants Mul𝒪​(∅,X)\text{Mul}_{\mathcal{O}}\left(\varnothing,X\right) is contractible. We denote the full ∞\infty-category spanned by the unital ∞\infty-operads by 𝐎𝐩∞un\mathbf{Op}_{\infty}^{\operatorname{\scriptsize{un}}}.

  2. (2)

    Reduced if it is unital and the underlying ∞\infty-category is a contractible space. We denote the full ∞\infty-category spanned by the reduced ∞\infty-operads by 𝐎𝐩∞red\mathbf{Op}_{\infty}^{\operatorname{\scriptsize{red}}}.

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