sage.categories.lie_groups.
LieGroups
The category of Lie groups.
A Lie group is a topological group with a smooth manifold structure.
EXAMPLES:
sage: from sage.categories.lie_groups import LieGroups sage: C = LieGroups(QQ); C Category of Lie groups over Rational Field
Lie Algebras With Basis
Loop Crystals