ScalingStacks

0NJT

Definition 2.19. An ∞\infty-category π’ž{\mathcal{C}} is accessible if there exists a regular cardinal ΞΊ\kappa and a small ∞\infty-category π’ž0{\mathcal{C}}^{0} such that there is an equivalence

Indκ⁑(π’ž0)β‰ƒπ’ž.\Ind_{\kappa}({\mathcal{C}}^{0})\simeq{\mathcal{C}}.

An ∞\infty-category π’ž{\mathcal{C}} is presentable if it arises as Indκ⁑(π’Ÿ)\Ind_{\kappa}({\mathcal{D}}) for a small ∞\infty-category π’Ÿ{\mathcal{D}} which admits ΞΊ\kappa-small colimits [52, 5.5.1.1].

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Andrew J. Blumberg, David Gepner, Goncalo Tabuada

Original source: arXiv:1001.2282v4