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