Category of associative algebras
This functionality does not run in MATLAB.
Cat::Algebra(R) represents the category of
associative algebras over the commutative ring
Cat::Algebra(R) is a module over a commutative
R which also is a ring.
A domain which is a commutative ring. The algebra will be an algebra over this ring.