Kerodon

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

Definition 7.6.6.20. Let $\mathbb {K}$ be a collection of simplicial sets. We say that an $\infty $-category $\operatorname{\mathcal{C}}$ is $\mathbb {K}$-complete if it admits $K$-indexed limits, for each $K \in \mathbb {K}$. We say that $\operatorname{\mathcal{C}}$ is $\mathbb {K}$-cocomplete if it admits $K$-indexed colimits, for each $K \in \mathbb {K}$.