Kategorie:Theorie der Monoidhomomorphismen/Fakten