Remark 8.3.3.10 (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.3.3.6.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$