Kerodon

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

Remark 5.1.1.6. Let $p: X \rightarrow Y$ and $q: Y \rightarrow Z$ be morphisms of simplicial sets, and let $e$ be an edge of the simplicial set $X$. If $e$ is $p$-cartesian and $p(e)$ is a $q$-cartesian edge of $Y$, then $e$ is $(q \circ p)$-cartesian. For a partial converse, see Corollary 5.1.2.6.