If \(S\) is a set of compact projective generators of \(\mathcal C\), then the free modules \(\{c \otimes A_A\}_{c \in S}\) are compact projective generators of \(\mathrm{RMod}_A(\mathcal C)\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2