Kerodon

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

Definition 7.6.6.1. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. We say that $\operatorname{\mathcal{C}}$ is complete if it admits $K$-indexed limits, for every small simplicial set $K$. We say that $\operatorname{\mathcal{C}}$ is cocomplete if it admits $K$-indexed colimits, for every small simplicial set $K$.