Example 14.2.1 (Terminal category). The terminal \(\infty \)-category \(*\) admits a unique symmetric monoidal structure, given by the constant functor \(\Span (\Fin ) \to \Cat _{\infty }, S \mapsto *\).
Generated from the authoritative LaTeX source.