Kerodon

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

Example 5.1.1.3. Let $q: X \rightarrow S$ be a right fibration of simplicial sets. Then every edge of $X$ is $q$-cartesian. Similarly, if $q: X \rightarrow S$ is a left fibration of simplicial sets, then every edge of $X$ is $q$-cocartesian.