Bialgebras with basis

sage.categories.bialgebras_with_basis.BialgebrasWithBasis(base_ring)

The category of bialgebras with a distinguished basis.

EXAMPLES:

sage: C = BialgebrasWithBasis(QQ); C
Category of bialgebras with basis over Rational Field

sage: sorted(C.super_categories(), key=str)
[Category of algebras with basis over Rational Field,
 Category of bialgebras over Rational Field,
 Category of coalgebras with basis over Rational Field]

TESTS:

sage: TestSuite(BialgebrasWithBasis(ZZ)).run()