Definition 17.3.8. We define an \(\Ff \)-monoidal \(\infty \)-category to be an \(\Ff \)-monoid in \(\Cat _{\infty }\).

Generated from the authoritative LaTeX source.