Remark 7.1.5.5. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be an inner fibration of $\infty $-categories. Then an object $Y \in \operatorname{\mathcal{C}}$ is $U$-initial if and only if it is $U^{\operatorname{op}}$-final, when regarded as an object of the opposite $\infty $-category $\operatorname{\mathcal{C}}^{\operatorname{op}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$