# Kerodon

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

Example 5.1.1.5. Let $q: X \rightarrow S$ be a morphism of simplicial sets which restricts to an isomorphism from $X$ to a full simplicial subset of $S$ (see Definition 4.1.2.15). Then every edge of $X$ is both $q$-cartesian and $q$-cocartesian.