An \(\infty\)-operad \(\mathcal O\) is unital if for every color \(X \in \underline{\mathcal O}\), the \(0\)-ary mapping space \(\mathrm{Mul}_{\mathcal O}(\emptyset, X)\) is contractible. We let \(\mathrm{Op}^{\mathrm{un}}\) denote the full subcategory of the \(\infty\)-category of \(\infty\)-operads \(\mathrm{Op}\) on the unital \(\infty\)-operads.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2