ScalingStacks

[006K]

Remark 3.6.4.

Because \(\mathrm{Set}\rightarrow\mathcal S\) preserves filtered colimits, an object in an ordinary \(1\)-category \(\mathcal C\) is compact in the sense of definition 3.6.1 if and only if it is compact in the sense of § 3.2 when \(\mathcal C\) is considered as an \(\infty\)-category.

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