Definition 9.5.1.2. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. We say that $\operatorname{\mathcal{C}}$ is presentable if it satisfies the equivalent conditions of Theorem 9.5.1.1: that is, it is both accessible and cocomplete (and therefore also complete).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$