Category talk:Representation theory of Lie algebras