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