Warning 5.3.13. For a classical 1-category \(C\), the forgetful functor \(\CMon (C) \to \Mon (C)\) is fully faithful by Chapterexercise 5.6. For a general \(\infty \)-category, this is not true: commutativity is no longer a property of a monoid, but additional structure one needs to provide.
Generated from the authoritative LaTeX source.