Bases: sage.categories.category_types.Category_over_base_ring
The category of GradedHopf algebras with several bases
EXAMPLES:
sage: GradedHopfAlgebras(ZZ)
Category of graded hopf algebras over Integer Ring
sage: GradedHopfAlgebras(ZZ).super_categories()
[Category of graded bialgebras over Integer Ring, Category of hopf algebras over Integer Ring]
TESTS:
sage: TestSuite(GradedHopfAlgebras(ZZ)).run()
EXAMPLES:
sage: GradedHopfAlgebras(QQ).super_categories()
[Category of graded bialgebras over Rational Field, Category of hopf algebras over Rational Field]