Definition 1.7.6. Let \(I\) be a set, regarded as a discrete \(\infty \)-category. Given a collection of objects \(x_i\) of \(C\), we refer to a colimit of the corresponding functor \(I \to C\) as a coproduct, and denote it by \(\coprod _{i \in I} x_i\) if it exists. We refer to a limit of \(I \to C\) as a product and denote it by \(\prod _{i \in I} x_i\).
Generated from the authoritative LaTeX source.