Corollary 11.3.0.2. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a left fibration of $\infty $-categories. Then $U$ is corepresented by an object $X \in \operatorname{\mathcal{C}}$ if and only if it is equivalent to the left fibration $\operatorname{\mathcal{C}}_{X/} \rightarrow \operatorname{\mathcal{C}}$, in the sense of Definition 5.1.7.1.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$