Finite dimensional Hopf algebras with basis#
- class sage.categories.finite_dimensional_hopf_algebras_with_basis.FiniteDimensionalHopfAlgebrasWithBasis(base_category)[source]#
Bases:
CategoryWithAxiom_over_base_ring
The category of finite dimensional Hopf algebras with a distinguished basis.
EXAMPLES:
sage: FiniteDimensionalHopfAlgebrasWithBasis(QQ) 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]
>>> from sage.all import * >>> FiniteDimensionalHopfAlgebrasWithBasis(QQ) Category of finite dimensional Hopf algebras with basis over Rational Field >>> FiniteDimensionalHopfAlgebrasWithBasis(QQ).super_categories() [Category of Hopf algebras with basis over Rational Field, Category of finite dimensional algebras with basis over Rational Field]