Kerodon

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

Remark 4.5.7.3. Let $q: X \rightarrow S$ be an isofibration of simplicial sets. Then $q$ is an inner fibration: that is, it has the right lifting property with respect to every horn inclusion $\Lambda ^{n}_{i} \hookrightarrow \Delta ^{n}$ for $0 < i < n$ (such inclusions are categorical equivalences, by virtue of Corollary 4.5.2.13). In particular, for each vertex $s \in S$, the fiber $X_{s} = \{ s\} \times _{S} X$ is an $\infty $-category (Remark 4.1.1.6). Moreover, if $S$ is an $\infty $-category, then $X$ is also an $\infty $-category (Remark 4.1.1.9).