Finite Weyl Groups¶
- class sage.categories.finite_weyl_groups.FiniteWeylGroups(base_category)[source]¶
Bases:
CategoryWithAxiom
The category of finite Weyl groups.
EXAMPLES:
sage: C = FiniteWeylGroups() sage: C Category of finite Weyl groups sage: C.super_categories() [Category of finite Coxeter groups, Category of Weyl groups] sage: C.example() The symmetric group on {0, ..., 3}