# Kerodon

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

Remark 4.1.1.6. Let $q: X_{} \rightarrow S_{}$ be an inner fibration of simplicial sets. Then, for every vertex $s \in S$, the fiber $X_{s} = \{ s\} \times _{ S_{} } X_{}$ is an $\infty$-category (this follows from Remark 4.1.1.5 and Example 4.1.1.2).