Bases: sage.categories.category_with_axiom.CategoryWithAxiom_over_base_ring
The category of finite dimensional Hopf algebras with a distinguished basis.
EXAMPLES:
sage: FiniteDimensionalHopfAlgebrasWithBasis(QQ) # fixme: Hopf should be capitalized
Category of finite dimensional hopf algebras with basis over Rational Field
sage: FiniteDimensionalHopfAlgebrasWithBasis(QQ).super_categories()
[Category of hopf algebras with basis over Rational Field,
Category of finite dimensional algebras with basis over Rational Field]
TESTS:
sage: TestSuite(FiniteDimensionalHopfAlgebrasWithBasis(ZZ)).run()