For \(\mathbb{K}\in \mathrm{CAlg}(\mathrm{Sp})\), we write \(\mathrm{Mod}_{\mathbb{K}}\) for the category of \(\mathbb{K}\)-modules \(\mathrm{Mod}_{\mathbb{K}}(\mathrm{Sp}) \in \mathrm{CAlg}(\mathrm{Pr}^{\mathrm{L}, \mathrm{c}}_{\mathrm{st}})\) and \(\mathrm{Perf}_{\mathbb{K}}\) for the category of perfect \(\mathbb{K}\)-modules \(\mathrm{Perf}_{\mathbb{K}} \coloneqq \mathrm{Mod}_{\mathbb{K}}(\mathrm{Sp})^{\mathrm{c}} \in \mathrm{CAlg}(\mathrm{st})\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2