Es sei R {\displaystyle {}R} ein kommutativer Ring. Die Klasse der R {\displaystyle {}R} -Moduln bildet zusammen mit den R {\displaystyle {}R} -Modulhomomorphismen als Morphismenmenge eine Kategorie, die Kategorie der Moduln über R {\displaystyle {}R} .
