Gabriel-Popescu type theorems and applications (Q707283): Difference between revisions

Let \(\mathcal A\) be a Grothendieck category and \((U_i)_{i\in I}\) a family of (not necessarily small) generators of \(\mathcal A\). The authors give a general version of the Gabriel-Popescu theorem, by proving that \(\mathcal A\) is equivalent to a certain quotient category of the category of unital right \(R\)-modules, where \(R\) is a certain endomorphism ring (not always with identity) associated to the family \((U_i)_{i\in I}\). As an application it is proved that for a locally finite Grothendieck category \(\mathcal A\), the following are equivalent: (i) \(\mathcal A\) has enough projectives; (ii) \(\mathcal A\) satisfies the condition AB\(4^*\); (iii) \(\mathcal A\) is a semiperfect category. In particular a coalgebra \(C\) is right semiperfect if and only if the category of right \(C\)-comodules satisfies the condition AB\(4^*\).