The representation category of any compact group is the bimodule category of a II1 factor.

We prove that given any compact group G, there exists a minimal action of G on a II₁ factor M such that the bimodule category of the fixed-point II₁ factor M^G is naturally equivalent with the representation category of G. In particular, all subfactors of M^G with finite Jones index can be described explicitly. [ABSTRACT FROM AUTHOR]