Notation 1.3.1. For the empty-index cases, we write the resulting product and coproduct as \(*\) and \(\emptyset \), respectively. Thus every \(\infty \)-category \(C\) comes equipped with canonical functors \[ C \to *, \qquad \qquad \emptyset \to C. \]
Generated from the authoritative LaTeX source.