# Kerodon

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

Definition 7.5.5.11 (Categorical Limit Diagrams of Simplicial Sets). Let $\operatorname{\mathcal{C}}$ be a category. We say that a functor $\overline{\mathscr {F}}: \operatorname{\mathcal{C}}^{\triangleleft } \rightarrow \operatorname{Set_{\Delta }}$ is a categorical limit diagram if there exists a levelwise categorical equivalence $\alpha : \overline{\mathscr {F}} \rightarrow \overline{\mathscr {G}}$, where $\overline{\mathscr {G}}: \operatorname{\mathcal{C}}^{\triangleleft } \rightarrow \operatorname{QCat}$ is a categorical limit diagram (in the sense of Definition 7.5.5.1).