ScalingStacks

[002R]

Notation 3.1.1.

We write

  • \(\mathrm{Cat}_{\infty}^\mathrm{idem}\) for the full subcategory of \(\mathrm{Cat}_{\infty}\) on the idempotent complete small \(\infty\)-categories,

  • \(\mathrm{Cat}_{\infty}^{\sqcup, \mathrm{idem}}\) for the subcategory of \(\mathrm{Cat}_{\infty}^\mathrm{idem}\) on the idempotent complete small \(\infty\)-categories that admit finite coproducts and functors which preserve finite coproducts, and

  • \(\mathrm{Cat}_{\infty}^{\mathrm{rex}, \mathrm{idem}}\) for the subcategory of \(\mathrm{Cat}_{\infty}^{\sqcup, \mathrm{idem}}\) on the idempotent complete small \(\infty\)-categories that admit finite colimits and functors which preserve finite 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