Representations of loop groups as factorization module categories

We show that the (2-)category of categorical representations of the loop group embeds fully faithfully into the (2-)category of factorization module categories with respect to the affine Grassmannian.