Kerodon

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

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).