Example 14.4.3. When \(\Oo = \Triv \), an \(\Oo \)-monoidal \(\infty \)-category is just an \(\infty \)-category.

Generated from the authoritative LaTeX source.