Let $K$ be a field. Does the category of finitely generated $K$-modules have a nice characterization, for example as the unique abelian category satisfying a certain simple condition? For example, we know that:
- Every short exact sequence is split.
- The Euler characteristic of every bounded exact sequence is zero.
Are either of those enough to characterize the category?