Finite dimensional Hopf algebras with basis

class sage.categories.finite_dimensional_hopf_algebras_with_basis.FiniteDimensionalHopfAlgebrasWithBasis(base, name=None)

Bases: sage.categories.category_types.Category_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 finite dimensional bialgebras with basis over Rational Field, Category of hopf algebras with basis over Rational Field]

TESTS:

sage: TestSuite(FiniteDimensionalHopfAlgebrasWithBasis(ZZ)).run()
class ElementMethods
class FiniteDimensionalHopfAlgebrasWithBasis.ParentMethods
FiniteDimensionalHopfAlgebrasWithBasis.super_categories()

EXAMPLES:

sage: FiniteDimensionalHopfAlgebrasWithBasis(QQ).super_categories()
[Category of finite dimensional bialgebras with basis over Rational Field, Category of hopf algebras with basis over Rational Field]

Previous topic

Finite dimensional coalgebras with basis

Next topic

Finite dimensional modules with basis

This Page