Cat::Module -- the category of
R-modules
Introduction represents the category of
Cat::Module(R)R-modules.
Generating
the categoryCat::Module(R)
ParametersR |
- | A domain which must be from the category Cat::CommutativeRing. |
Cat::LeftModule(R)
, Cat::RightModule(R)
DetailsCat::Module(R) is a left and right
R-module over a commutative ring R."_mult".