type(obj) = <class 'sage.categories.highest_weight_crystals.HighestWeightCrystals'>
version = 4.4.2
obj =
'Category of highest weight crystals'
