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

Example Let $S$ be a Kan complex. Then a morphism of simplicial sets $q: X \rightarrow S$ is a (co)cartesian fibration if and only if it is an isofibration (Corollary If this condition is satisfied, then $X$ is an $\infty $-category and a morphism of $X$ is $q$-(co)cartesian if and only if it is an isomorphism (Corollary It follows that, if $q': X' \rightarrow S$ is another cartesian fibration, then every morphism $f: X \rightarrow X'$ in $(\operatorname{Set_{\Delta }})_{/S}$ carries $q$-(co)cartesian edges of $X$ to $q'$-(co)cartesian edges of $X'$ (Remark In particular, $\operatorname{Cart}(S)$ coincides with $\operatorname{CCart}(S)$ as a simplicial subcategory of $(\operatorname{Set_{\Delta }})_{/S}$.