Lie Groups¶
- class sage.categories.lie_groups.LieGroups(base, name=None)¶
Bases:
sage.categories.category_types.Category_over_base_ring
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
- additional_structure()¶
Return
None
.Indeed, the category of Lie groups defines no new structure: a morphism of topological spaces and of smooth manifolds is a morphism as Lie groups.
See also
EXAMPLES:
sage: from sage.categories.lie_groups import LieGroups sage: LieGroups(QQ).additional_structure()
- super_categories()¶
EXAMPLES:
sage: from sage.categories.lie_groups import LieGroups sage: LieGroups(QQ).super_categories() [Category of topological groups, Category of smooth manifolds over Rational Field]