Let $R$ be a unital (associative) ring. Consider the category $R\text{-mod}$ of unitary left $R$-modules. Set $\text{Indec}(R)$ to be the class of all isomorphism classes of indecomposable objects in $R\text{-mod}$. >Is $\text{Indec}(R)$ a set? If not, for which ring $R$ is $\text{Indec}(R)$ a set, and for which ring $R$ is $\text{Indec}(R)$ a proper class? Clearly, if $R$ is semisimple, then $\text{Indec}(R)$ coincides with the set $\text{Irred}(R)$ of isomorphism classes of simple $R$-modules. I am not sure what would happen if $R$ is nonsemisimple. If possible, I would like to request a reference that discusses a more general result. That is, if $\mathscr{C}$ is an arbitrary abelian category, and $\text{Indec}(\mathscr{C})$ is the class of all isomorphism classes of indecomposable objects in $\mathscr{C}$. How do we tell when $\text{Indec}(\mathscr{C})$ is a set? Just as in the case of $R\text{-mod}$, the same observation holds: if $\mathscr{C}$ is semisimple, then $\text{Indec}(\mathscr{C})$ is identical to the class $\text{Irred}(\mathscr{C})$ of isomorphism classes of simple objects in $\mathscr{C}$. <s>However, I am very certain that there are nonsemisimple abelian category $\mathscr{C}$ such that $\text{Indec}(\mathscr{C})$ is a proper class. Such an example is very welcome.</s> $\phantom{aaa}$ *Edit:* With [help from YCor](https://mathoverflow.net/questions/369834/do-the-isomorphism-classes-of-indecomposable-objects-in-r-text-mod-form-a#comment933965_369834), at least when $R=\mathbb{Z}$, $\text{Indec}(\mathbb{Z})$ is a proper class. **Remark.** I am even more interested in the case where $R$ is a (not necessarily finite-dimensional) $\mathbb{K}$-algebra for some field $\mathbb{K}$. We may assume that $R$ is countable-dimesional. Even more specifically, I would like to know what happens if $R$ is the universal enveloping algebra of some (not necessarily finite-dimensional) Lie algebra $\mathfrak{g}$ over some field $\mathbb{K}$. Again, we may assume that $\mathfrak{g}$ is countable-dimensional. However, anything that can elaborate me on how to find out when $\text{Indec}(\mathscr{C})$ is a set will be greatly appreciated.