Kerodon

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

Remark 8.2.5.2 (Duality). A functor $h^{\bullet }: \operatorname{\mathcal{C}}^{\operatorname{op}} \rightarrow \operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{S}})$ is a contravariant Yoneda embedding for $\operatorname{\mathcal{C}}$ if and only if it is a covariant Yoneda embedding for the opposite $\infty $-category $\operatorname{\mathcal{C}}^{\operatorname{op}}$; see Remark 8.2.3.7.