Example 7.5.5.2. Let $\operatorname{\mathcal{C}}$ be a category. A diagram of Kan complexes $\overline{\mathscr {F}}: \operatorname{\mathcal{C}}^{\triangleleft } \rightarrow \operatorname{Kan}$ is a categorical limit diagram (in the sense of Definition 7.5.5.1) if and only if it is a homotopy limit diagram (in the sense of Definition 7.5.4.1).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$