Definition 19.1.8. An \(\infty \)-operad \(\Oo \) is called unital if its total \(\infty \)-category \(\Oo ^{\otimes }\) is pointed, i.e., if the terminal object (given by the empty tuple \(\emptyset _{\Oo } := \{\}\)) is also an initial object. Equivalently, \(\Oo \) is unital if we have \[ \Oo (\{\};x) \simeq * \] for every color \(x \in \Oo ^{\simeq }\).
Generated from the authoritative LaTeX source.