Definition 23.6.3 (End). Let \(C\) be an \(\infty \)-category and consider a functor \(F\colon C\catop \times C \to D\). The end of \(F\), denoted by \(\int _{c \in C} F(c,c)\) if it exists, is the limit of the composite functor \[ \Tw (C) \xrightarrow {(s,t)} C\catop \times C \xrightarrow {F} D. \]
Generated from the authoritative LaTeX source.