Proposition 7.5.1.2. Let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{Kan}$ be a diagram of Kan complexes. Then the homotopy limit $ \underset {\longleftarrow }{\mathrm{holim}}(\mathscr {F} )$ is a Kan complex.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$