The symmetric monoidal equivalence \(\operatorname{Ind}\colon \mathrm{st}\rightarrow\mathrm{Pr}^{\mathrm{L}, \mathrm{c}}_{\mathrm{st}}\) transports \(\mathrm{Perf}_{\mathbb{K}}\) to \(\mathrm{Mod}_{\mathbb{K}}\). Similarly, the symmetric monoidal equivalence \(\mathcal P^{\Sigma}\colon \mathrm{add}\rightarrow\mathrm{Pr}^{\mathrm{L}, \mathrm{cp}}_{\mathrm{add}}\) transports \(\mathrm{CProj}_{\mathbb{K}}\) to \(\mathrm{Mod}^{\geq 0}_{\mathbb{K}}\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2