Remark 9.5.0.2. The theory of presentable $\infty $-categories has a classical counterpart, which was introduced by Gabriel and Ulmer in [MR327863] (see [MR1294136] for a more expository account). Beware that our terminology is nonstandard: most authors use the term locally presentable in place of presentable.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$