Kerodon

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

Remark 11.3.0.14. In the situation of Definition 5.2.2.14, suppose that $q: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is a right fibration. Then condition $(3)$ is superfluous (every edge of $\operatorname{\mathcal{C}}$ is $q$-cartesian by virtue of Example 5.1.1.3).