Cat::Algebra
-- the category of
associative algebras
represents the category of
associative algebras over the commutative ring Cat::Algebra
(R)R
.
Cat::Algebra(R)
R |
- | A domain which is a commutative ring. The algebra will be an algebra over this ring. |
Cat::Ring
, Cat::Module(R)
Cat::Algebra
(R)
is a module over a
commutative ring R
which also is a ring.