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