Category O
In the representation theory of semisimple Lie algebras, Category O (or category O {\displaystyle {\mathcal {O}}} ) is a category whose objects are certain representations of a semisimple Lie algebra, and whose morphisms are homomorphisms of representations. == Introduction == Assume that g {\displaystyle {\mathfrak {g}}} is a (usually complex) semisimple Lie algebra with a Cartan subalgebra h {\displaystyle {\mathfrak {h}}} .