Corollary 5.1.1.9. Let $q: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be an inner fibration of $\infty $-categories. For every object $X \in \operatorname{\mathcal{C}}$, the identity morphism $\operatorname{id}_{X}: X \rightarrow X$ is $q$-cartesian and $q$-cocartesian.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$