ScalingStacks

[0082]

Definition 4.3.1.

Let \(J\in \mathrm{CAlg}(\mathrm{Cat}_{\infty})\).

  1. For \(\mathbb{K}\in \mathrm{CAlg}(\mathrm{Sp}_{\geq 0})\), we define the \(\infty\)-category \(\mathrm{add}_{\mathbb{K}}^J\) of \(J\)-graded additive, idempotent-complete \(\mathbb{K}\)-linear categories as \[\mathrm{add}_{\mathbb{K}}^J\coloneqq \mathrm{Fun}(J^{\mathrm{op}}, \mathrm{add}_{\mathbb{K}}).\]

  2. For \(\mathbb{K}\in \mathrm{CAlg}(\mathrm{Sp})\), we define the \(\infty\)-category \(\mathrm{st}_{\mathbb{K}}^J\) of \(J\)-graded stable, idempotent-complete \(\mathbb{K}\)-linear categories as \[\mathrm{st}_{\mathbb{K}}^J \coloneqq \mathrm{Fun}(J^{\mathrm{op}}, \mathrm{st}_{\mathbb{K}}).\]

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