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