Kategorie:Theorie der kommutativen Monoidringe/Definitionen