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]
-