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