# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Definition 7.1.4.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$.