Remark 5.1.3.3. Let $q: X \rightarrow S$ be a morphism of simplicial sets. Then every $q$-cartesian edge of $X$ is locally $q$-cartesian, and every $q$-cocartesian edge of $X$ is locally $q$-cocartesian (see Remark 5.1.1.11).

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$