Rings such that every module is a direct sum of generator modules Is there a classification of those rings $R$ for which the category of left $R$-modules $\mathbf{Mod}(R)$ is generated by a small set of left $R$-modules under direct sums?
For example, every semisimple ring has this property, since every left $R$-module is a direct sum of simple modules, which in turn are isomorphic to $R/I$ for some maximal left ideal $I \subseteq R$. More generally, every Artinian principal ideal ring has the property that every left $R$-module is a direct sum of cyclic modules. But in my question I don't require the generator modules to be cyclic.
 A: The condition is equivalent to the property that there is some cardinal $\kappa$ such that every left $R$-module is a direct sum of modules with at most $\kappa$ generators.
Theorem 2 of
Warfield, R. B. jun, Rings whose modules have nice decompositions, Math. Z. 125, 187-192 (1972). ZBL0218.13012.
shows that the commutative rings with this property are precisely the Artinian principal ideal rings.
For not necessarily commutative rings, Theorem 2.2 of
Griffith, P., On the decomposition of modules and generalized left uniserial rings, Math. Ann. 184, 300-308 (1970). ZBL0175.31703.
shows that all rings with this property are left Artinian.
There is a property of rings called (left) pure semisimplicity, which has several equivalent definitions. Section 4.5 of
Prest, Mike, Purity, spectra and localisation., Encyclopedia of Mathematics and its Applications 121. Cambridge: Cambridge University Press (ISBN 978-0-521-87308-6/hbk). xxviii, 769 p. (2009). ZBL1205.16002.
gives a good survey, including such results as:
(Theorem 4.5.4) A left pure semisimple ring is left Artinian, and every left $R$-module is a direct sum of indecomposable finite length indecomposable modules.
(Theorem 4.5.7) $R$ is left pure semisimple if and only if every left $R$-module is  a direct sum of indecomposable modules, if and only if there is a cardinal $\kappa$ such that every left $R$-module is a direct sum of modules of cardinality less than $\kappa$.
(Note that one consequence of all of this is that if every left $R$-module is a direct sum of modules with at most $\kappa$ generators for some $\kappa$, then in fact every left $R$-module is a direct sum of finitely generated modules.)
So a complete answer to the question is that the rings in question are precisely the left pure semisimple rings, although one might argue that this is just replacing the original condition with an equally mysterious one.
But there is a conjecture (the Pure Semisimplicity Conjecture, which is 4.5.26 in Prest's book) that the left pure semisimple rings are precisely the rings of finite representation type (i.e., for which every module is a direct sum of indecomposable modules, and with only finitely many indecomposables). It is known that every ring of finite representation type is left pure semisimple. Also, "finite representation type" is a left/right symmetric property, so if the conjecture is true then pure semisimplicity is a left/right symmetric property.
