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

Remark Let $\overline{u}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ be as in Definition Then $\overline{u}$ is a limit diagram if and only if the composite map

\[ \Delta ^1 \times K \simeq K \star _{K} K \rightarrow \Delta ^0 \star _{ \Delta ^0} K = K^{\triangleleft } \xrightarrow {\overline{u}} \operatorname{\mathcal{C}} \]

corresponds to a natural transformation $\alpha : \underline{Y} \rightarrow u$ which exhibits $Y$ as a limit of $u$, in the sense of Definition This follows from the characterization of Proposition, together with the observation that the slice diagonal $\operatorname{\mathcal{C}}_{/u} \hookrightarrow \operatorname{\mathcal{C}}\operatorname{\vec{\times }}_{ \operatorname{Fun}(K, \operatorname{\mathcal{C}})} \{ u\} $ of Construction is an equivalence of $\infty $-categories (Theorem