category of left modules over a ring

 algebra
Notation R−ModR{-}\Mod Objects left RR-modules Morphisms RR-linear maps Children R−ModR{-}\Mod, R−ModR{-}\Mod Related Ab\Ab, VectK\Vect_K, grModG(R)\grMod_G(R), Projfg(R[ε])\Proj_\fg(\IR[\varepsilon]), Freefg(Z×Z)\Free_{\fg}(\IZ \times \IZ), M−SetM{-}\Set, Z−Set\IZ{-}\Set External nLab link
This is the prototype of an abelian category. The category of right modules is the same with the opposite ring RopR^{\op}, hence not listed here. We assume R≠0R \neq 0 since otherwise the category would be trivial.

Satisfied properties

Assigned properties

Deduced properties

Unsatisfied properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—

Undecidable properties

There is 1 property for which it cannot be decided whether it is satisfied.

Special objects

  • terminal object: zero module
  • initial object: zero module
  • products: direct products with pointwise operations
  • coproducts: direct sums

Special morphisms

Symmetric monoidal categories

The database stores 3 symmetric monoidal categories based on the category of left modules over a ring.