ScalingStacks

[007P]

Definition 4.2.1.

For \(\mathbb{K}\in \mathrm{CAlg}(\mathrm{Sp}_{\geq 0})\), we define

  1. the \(\infty\)-category \({\mathrm{Pr}^{\mathrm{L}}_{{\mathrm{add}_{\mathbb{K}}}}}\) of additive presentable \(\mathbb{K}\)-linear \(\infty\)-categories as \[{\mathrm{Pr}^{\mathrm{L}}_{{\mathrm{add}_{\mathbb{K}}}}}:= \mathrm{Mod}_{\mathrm{Mod}^{\geq 0}_{\mathbb{K}}}(\mathrm{Pr}^\mathrm{L});\]

  2. the \(\infty\)-category \(\mathrm{add}_{\mathbb{K}}\) of small additive, idempotent-complete \(\mathbb{K}\)-linear \(\infty\)-categories as \[\mathrm{add}_{\mathbb{K}}:=\mathrm{Mod}_{\mathrm{CProj}_{\mathbb{K}}}(\mathrm{add}).\]

For \(\mathbb{K}\in \mathrm{CAlg}(\mathrm{Sp})\), we define

  1. the \(\infty\)-category \({\mathrm{Pr}^{\mathrm{L}}_{{\mathrm{st}_{\mathbb{K}}}}}\) of stable presentable \(\mathbb{K}\)-linear \(\infty\)-categories as \[{\mathrm{Pr}^{\mathrm{L}}_{{\mathrm{st}_{\mathbb{K}}}}}:= \mathrm{Mod}_{\mathrm{Mod}_{\mathbb{K}}}(\mathrm{Pr}^\mathrm{L});\]

  2. the \(\infty\)-category \(\mathrm{st}_{\mathbb{K}}\) of small stable, idempotent-complete \(\mathbb{K}\)-linear \(\infty\)-categories to be \[\mathrm{st}_{\mathbb{K}}:= \mathrm{Mod}_{\mathrm{Perf}_{\mathbb{K}}}(\mathrm{st}).\]

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