Do people study the category of representations of a compact finite group (not just irreducible ones)? I'm more interested in small cases like S_3 and SU(2) but I'd be curious about general cases like $S_n, SU(n)$. These must be tensor categories since - well... they admit tensor products and direct sums. Can these representations be considered a ring?