BialgebrasWithBasis

class sage.categories.bialgebras_with_basis.BialgebrasWithBasis(base, name=None)

Bases: sage.categories.category_types.Category_over_base_ring

The category of bialgebras with a distinguished basis

EXAMPLES:

sage: BialgebrasWithBasis(ZZ)
Category of bialgebras with basis over Integer Ring
sage: BialgebrasWithBasis(ZZ).super_categories()
[Category of algebras with basis over Integer Ring, Category of coalgebras with basis over Integer Ring, Category of bialgebras over Integer Ring]

TESTS:

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

class ElementMethods

class BialgebrasWithBasis.ParentMethods

BialgebrasWithBasis.super_categories(*args, **kwds)

EXAMPLES:

sage: BialgebrasWithBasis(QQ).super_categories()
[Category of algebras with basis over Rational Field, Category of coalgebras with basis over Rational Field, Category of bialgebras over Rational Field]