# Kerodon

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

Definition 7.5.5.1 (Categorical Limit Diagrams of $\infty$-Categories). Let $\operatorname{\mathcal{C}}$ be a small category and let $\overline{\mathscr {F}}: \operatorname{\mathcal{C}}^{\triangleleft } \rightarrow \operatorname{QCat}$ be a functor having restriction $\mathscr {F} = \overline{ \mathscr {F} }|_{\operatorname{\mathcal{C}}}$. We will say that $\overline{ \mathscr {F} }$ is a categorical limit diagram if the composite map

$\overline{ \mathscr {F} }( {\bf 0} ) \rightarrow \varprojlim ( \mathscr {F} ) \hookrightarrow \underset {\longleftarrow }{\mathrm{holim}}( \mathscr {F} )$

is an equivalence of $\infty$-categories; here ${\bf 0}$ denotes the initial object of the cone $\operatorname{\mathcal{C}}^{\triangleleft } \simeq \{ {\bf 0} \} \star \operatorname{\mathcal{C}}$, and the morphism on the right is the comparison map of Remark 7.5.2.10.