Definition: (right finitely pseudo-Frobenius) Every finitely generated faithful right module is a generator for the category of $R$ modules
(No citations retrieved.)