GradedHopfAlgebrasWithBasis

class sage.categories.graded_hopf_algebras_with_basis.GradedHopfAlgebrasWithBasis(base, name=None)

Bases: sage.categories.category_types.Category_over_base_ring

The category of graded Hopf algebras with a distinguished basis

EXAMPLES:

sage: GradedHopfAlgebrasWithBasis(ZZ)
Category of graded hopf algebras with basis over Integer Ring
sage: GradedHopfAlgebrasWithBasis(ZZ).super_categories()
[Category of graded bialgebras with basis over Integer Ring, Category of graded hopf algebras over Integer Ring, Category of hopf algebras with basis over Integer Ring]

TESTS:

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

class AbstractCategory(category, name=None)

Bases: sage.categories.category.AbstractCategory

super_categories(*args, **kwds)

EXAMPLES:

sage: GradedHopfAlgebrasWithBasis(QQ).abstract_category().super_categories()
[Category of graded hopf algebras over Rational Field]

TESTS:

sage: TestSuite(GradedHopfAlgebrasWithBasis(QQ).abstract_category()).run()

class GradedHopfAlgebrasWithBasis.ElementMethods

class GradedHopfAlgebrasWithBasis.ParentMethods

GradedHopfAlgebrasWithBasis.super_categories(*args, **kwds)

EXAMPLES:

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