Kerodon

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

Remark 8.4.6.4. Let $\widehat{\operatorname{\mathcal{C}}}$ be a locally small $\infty $-category. A full subcategory $\operatorname{\mathcal{C}}\subseteq \widehat{\operatorname{\mathcal{C}}}$ is weakly dense if and only if the restricted Yoneda embedding $\widehat{\operatorname{\mathcal{C}}} \rightarrow \operatorname{Fun}( \operatorname{\mathcal{C}}^{\operatorname{op}}, \operatorname{\mathcal{S}})$ is conservative.