[Previous] [Next] [Contents]

## `Cat::GradedHopfAlgebraWithBasis` -- the category of graded Hopf algebras over a distinguished basis

#### Introduction

`Cat::GradedHopfAlgebraWithBasis` represents the category of graded Hopf algebras over a distinguished basis.

#### Generating the category

`Cat::GradedHopfAlgebraWithBasis(R)`

#### Categories

`Cat::HopfAlgebraWithBasis(R)`, `Cat::GradedAlgebraWithBasis(R)`

#### Details

- A `Cat::GradedHopfAlgebraWithBasis` is an Hopf algebra over a distinguished basis (`Cat::AlgebraWithBasis`), with a grading which is compatible with the Hopf algebra operations.

#### Changes

- `Cat::GradedHopfAlgebraWithBasis` is a new category

[Previous] [Next] [Contents]

MuPAD Combinat, an open source algebraic combinatorics package