The \(\infty\)-operad \(\mathrm{Alg}_{\mathbb E_0}(\mathcal O)\) is unital. Moreover, \(\mathcal O\) is unital if and only if the operad map \(\mathrm{Alg}_{\mathbb E_0}(\mathcal O) \rightarrow\mathcal O\) is an isomorphism.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2