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()