The underlying \(\infty\)-operad of a symmetric monoidal \(\infty\)-category \(\mathcal C\) is unital if and only if the tensor unit \(I\) of \(\mathcal C\) is an initial object. An example of such a symmetric monoidal \(\infty\)-category is given by the coCartesian tensor product on an \(\infty\)-category with finite coproducts.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2