Fix \(\mathbb{K}\in \mathrm{CAlg}(\mathrm{Sp}_{\geq 0})\), we write \(\mathrm{Mod}^{\geq 0}_{\mathbb{K}}\) for the \(\infty\)-category of connective \(\mathbb{K}\)-modules \(\mathrm{Mod}_{\mathbb{K}}(\mathrm{Sp}_{\geq 0}) \in \mathrm{CAlg}(\mathrm{Pr}^{\mathrm{L}, \mathrm{cp}}_{\mathrm{add}})\) and \(\mathrm{CProj}_{\mathbb{K}}\) for the category of compact-projective \(\mathbb{K}\)-modules \(\mathrm{CProj}_{\mathbb{K}} \coloneqq \mathrm{Mod}_{\mathbb{K}}(\mathrm{Sp}_{\geq 0})^{\mathrm{cp}} \in \mathrm{CAlg}(\mathrm{add})\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2