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