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