sage.categories.hopf_algebras.
HopfAlgebras
The category of Hopf algebras
EXAMPLES:
sage: HopfAlgebras(QQ) Category of hopf algebras over Rational Field sage: HopfAlgebras(QQ).super_categories() [Category of bialgebras over Rational Field]
Highest Weight Crystals
Hopf algebras with basis