ScalingStacks

[05X3]

Lemma 2.2.4. 𝔼0\mathbb{E}_{0} is the initial object of 𝐎𝐩∞red\mathbf{Op}_{\infty}^{\operatorname{\scriptsize{red}}}.

[05X4]

Proof. The composition of forgetful functors

𝐎𝐩∞unβ†’πŽπ©βˆžβ†’π‚πšπ­βˆž\mathbf{Op}_{\infty}^{\operatorname{\scriptsize{un}}}\to\mathbf{Op}_{\infty}\to\mathbf{Cat}_{\infty}

has a left adjoint given as the composition of the corresponding left adjoints. The first one takes Ξ”0\Delta^{0} to 𝐓𝐫𝐒𝐯\mathbf{Triv} (by A.2.1.4.8) and the second takes 𝐓𝐫𝐒𝐯\mathbf{Triv} to π“π«π’π―βŠ—π”Ό0≃𝔼0\mathbf{Triv}\otimes\mathbb{E}_{0}\simeq\mathbb{E}_{0} (by A.2.3.1.9). Hence, for every reduced operad 𝒫\mathcal{P} (which is in particular unital), we get

Map⁑(𝔼0,𝒫)≃Map⁑(Ξ”0,𝒫¯)≃𝒫¯≃≃Δ0.\operatorname{Map}\left(\mathbb{E}_{0},\mathcal{P}\right)\simeq\operatorname{Map}\left(\Delta^{0},\underline{\mathcal{P}}\right)\simeq\underline{\mathcal{P}}^{\simeq}\simeq\Delta^{0}.

∎

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 11

Original source Β· 1808.06006v3