### Navigation

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

# Finite dimensional modules with basis

class `sage.categories.finite_dimensional_modules_with_basis.``FiniteDimensionalModulesWithBasis`(base_category)

  Bases: `sage.categories.category_with_axiom.CategoryWithAxiom_over_base_ring`

  The category of finite dimensional modules with a distinguished basis

  EXAMPLES:

      sage: C = FiniteDimensionalModulesWithBasis(ZZ); C
      Category of finite dimensional modules with basis over Integer Ring
      sage: sorted(C.super_categories(), key=str)
      [Category of finite dimensional modules over Integer Ring,
       Category of modules with basis over Integer Ring]
      sage: C is Modules(ZZ).WithBasis().FiniteDimensional()
      True

  TESTS:

      sage: TestSuite(C).run()

  class `ElementMethods`
  class `FiniteDimensionalModulesWithBasis.``ParentMethods`

### Navigation

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