By definition, \(\mathrm{DMor}^{\mathrm{flat}, \mathrm{gr-perf}}(\mathrm{mod}_{k}^{Z})\) is a full symmetric monoidal subcategory of \(\mathrm{Pr}^{\mathrm{L},\mathrm{c}}_{\mathrm{Mod}_{Hk}^{Z}}\). Thus, it comes equipped with a symmetric monoidal fully faithful \(\mathrm{st}_{Hk}^{BZ}\)-enriched functor \[\mathrm{DMor}^{\mathrm{flat}, \mathrm{gr-perf}}(\mathrm{mod}_{k}^{Z})\hookrightarrow \mathrm{Pr}^{\mathrm{L},\mathrm{c}}_{\mathrm{Mod}_{Hk}^{Z}} ~\stackrel{(-)^{\mathrm{c}}}{\simeq} ~\mathrm{st}_{Hk}^{BZ}.\]
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2