Lie Groups

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