The action functor \(\mathcal C\otimes \mathrm{RMod}_A(\mathcal C) \rightarrow\mathrm{RMod}_A(\mathcal C)\) is in \(\mathrm{Pr}^{\mathrm{L},\mathrm{cp}}\), thus \(\mathrm{RMod}_A(\mathcal C) \in \mathrm{Mod}_{\mathcal C}(\mathrm{Pr}^{\mathrm{L},\mathrm{cp}})\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2