Kerodon

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

Remark 8.4.0.31. 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.