Remark 11.5.0.86. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a functor between categories, and suppose we are given a pair of morphisms $f: X \rightarrow Y$ and $g: Y \rightarrow Z$ in $\operatorname{\mathcal{E}}$. Then:
If $g$ is $U$-cartesian, then $f$ is $U$-cartesian if and only if $g \circ f$ is $U$-cartesian.
If $f$ is $U$-cocartesian, then $g$ is $U$-cocartesian if and only if $g \circ f$ is $U$-cocartesian.
In particular, the collections of $U$-cartesian and $U$-cocartesian morphisms of $\operatorname{\mathcal{E}}$ are closed under composition.