Module theory MOC Category of left-modules Let be a ring. The category of left-modules is a category where an object is a left-module over and a morphism is a module homomorphism. module See the special case of Category of modules over a commutative ring. Properties This is a Bicartesian category under the direct sum of modules. develop | en | sembr