The \(\infty\)-category \(\left(\mathrm{RMod}_{HA}(\mathrm{Mod}_{Hk}^{\geq 0, Z}) \right)^{cp}\) is equivalent to \(\mathrm{grmod}_A^{\mathrm{gr-cp}}\). In particular, it is a \(1\)-category.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2