Cat::FiniteDimensionalAlgebraWithBasis – the category of finite dimensional algebras over a distinguished basis

Cat::FiniteDimensionalAlgebraWithBasis represents the category of finite dimensional algebras over a distinguished basis.

Creating the Category

Cat::FiniteDimensionalAlgebraWithBasis(R)

Parameters:

R: 

A domain which must be from the category Cat::Ring.

Categories

Cat::AlgebraWithBasis(R)

Details:

A Cat::FiniteDimensionalAlgebraWithBasis is an algebra over a distinguished basis (Cat::AlgebraWithBasis), which is also finite dimensional as a vector space (or module).