Finite Crystals¶
-
sage.categories.finite_crystals.
FiniteCrystals
¶ The category of finite crystals.
EXAMPLES:
sage: C = FiniteCrystals() sage: C Category of finite crystals sage: C.super_categories() [Category of crystals, Category of finite enumerated sets] sage: C.example() Highest weight crystal of type A_3 of highest weight omega_1