Kerodon

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

Construction 9.5.3.1. We define a (non-full) subcategory $\operatorname{\mathcal{QC}}^{\operatorname{LPr}} \subseteq \operatorname{\mathcal{QC}}^{\operatorname{Acc}}$ as follows:

  • An accessible $\infty $-category $\operatorname{\mathcal{C}}\in \operatorname{\mathcal{QC}}^{\operatorname{Acc}}$ belongs to the subcategory $\operatorname{\mathcal{QC}}^{\operatorname{LPr}}$ if and only if $\operatorname{\mathcal{C}}$ is is presentable: that is, it admits small colimits.

  • Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be presentable $\infty $-categories. Then an accessible functor $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is a morphism in $\operatorname{\mathcal{QC}}^{\operatorname{LPr}}$ if and only if $F$ preserves small colimits.