Kerodon

Definition 7.1.3.4. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $K$ be a simplicial set, and let $\overline{u}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ be a morphism of simplicial sets carrying the cone point of $K^{\triangleleft }$ to an object $Y \in \operatorname{\mathcal{C}}$. Set $u = \overline{u}|_{K}$, so that the diagram $\overline{u}$ can be identified with an object of the slice $\infty $-category $\operatorname{\mathcal{C}}_{/u}$. We will say that $\overline{u}$ is a limit diagram if it is a final object of $\operatorname{\mathcal{C}}_{/u}$. If this condition is satisfied, we say that $\overline{u}$ exhibits $Y$ as a limit of the diagram $u$.