monoid representation theory