ScalingStacks

[007R]

Remark 4.2.3.

Following remark 4.1.9, an additive presentable \(\mathbb{K}\)-linear \(\infty\)-category is precisely a presentably \(\mathrm{Mod}_{\mathbb{K}}^{\geq 0}\)-enriched \(\infty\)-category in the sense of remark 4.1.9, i.e. a \(\mathrm{Mod}_{\mathbb{K}}^{\geq 0}\)-enriched \(\infty\)-category fulfilling certain presentability properties. Similarly, a stable presentable \(\mathbb{K}\)-linear \(\infty\)-category is precisely a presentably \(\mathrm{Mod}_{\mathbb{K}}\)-enriched \(\infty\)-category, i.e. a \(\mathrm{Mod}_{\mathbb{K}}\)-enriched \(\infty\)-category fulfilling certain presentability properties.

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