Category talk:Representation theory of Lie groups