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