Remark 11.3.0.15. In the situation of Definition 5.2.2.15, 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).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$