Kategorie für algebraische Strukturen, die die Axiome eines Moduls erfüllen.