## `Cat::Module` -- the category of `R`-modules

#### Introduction

``Cat::Module`(R)` represents the category of `R`-modules.

#### Generating the category

`Cat::Module(R)`

#### Parameters

`R` | - | A domain which must be from the category `Cat::CommutativeRing`.

#### Categories

`Cat::LeftModule(R)`

, `Cat::RightModule(R)`

#### Details

- A ``Cat::Module`(R)` is a left and right `R`-module over a commutative ring `R`.
- Right and left multiplications must be both implemented by the method `"_mult"`.

#### Changes

- no changes

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000