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

Remark 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 In particular, for each vertex $s \in S$, the fiber $X_{s} = \{ s\} \times _{S} X$ is an $\infty $-category (Remark Moreover, if $S$ is an $\infty $-category, then $X$ is also an $\infty $-category (Remark