Definition 1.3.4. Let \(C\) and \(D\) be \(\infty \)-categories and let \(x\) be an object of \(D\), regarded as a functor \(x\colon * \to D\). We define the constant functor \(\const _x\colon C \to D\) as the following composite: \[ \const _x\colon C \xrightarrow {p_C} * \xrightarrow {x} D. \]
Generated from the authoritative LaTeX source.