### Navigation

- index
- modules |
- next |
- previous |
- Category Theory »

# Finite dimensional bialgebras with basis

`sage.categories.finite_dimensional_bialgebras_with_basis.``FiniteDimensionalBialgebrasWithBasis`(base_ring)

  The category of finite dimensional bialgebras with a distinguished basis

  EXAMPLES:

      sage: C = FiniteDimensionalBialgebrasWithBasis(QQ); C
      Category of finite dimensional bialgebras with basis over Rational Field
      sage: sorted(C.super_categories(), key=str)
      [Category of bialgebras over Rational Field,
       Category of coalgebras with basis over Rational Field,
       Category of finite dimensional algebras with basis over Rational Field]
      sage: C is Bialgebras(QQ).WithBasis().FiniteDimensional()
      True

  TESTS:

      sage: TestSuite(C).run()

### Navigation

- index
- modules |
- next |
- previous |
- Category Theory »