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