ScalingStacks

[003I]

Definition 3.2.3.

We will use the following terminology.

  1. A compactly generated \(\infty\)-category is an \(\infty\)-category with small colimits, for which there exists a small set of compact objects which generates \(\mathcal C\) under small colimits.

  2. A projectively generated \(\infty\)-category is an \(\infty\)-category with small colimits, for which there exists a small set of compact-projective objects which generates \(\mathcal C\) under small colimits.

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

Yu Leon Liu, Aaron Mazel-Gee, David Reutter, Catharina Stroppel, Paul Wedrich

Original source: arXiv:2401.02956v2

Original source · 2401.02956v2