# Kerodon

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

Corollary 4.4.2.3. Let $q: X \rightarrow S$ be morphism of simplicial sets which is either a left or a right fibration. Then, for every vertex $s \in S$, the fiber $X_{s} = \{ s\} \times _{S} X$ is a Kan complex.