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. #m/def/module See the special case of K𝖬𝗈𝖽. Properties This is a Bicartesian category under the direct sum of modules. #state/develop | #lang/en | #SemBr