Kerodon

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

Remark 1.4.5.10. Let $p: X_{\bullet } \rightarrow Y_{\bullet }$ be a trivial Kan fibration. Then, for every vertex $y$ of $Y_{\bullet }$, the fiber $X_{\bullet } \times _{Y_{\bullet } } \{ y\} $ is a contractible Kan complex (this is a special case of Remark 1.4.5.2). For a partial converse, see Corollary 3.2.7.4.