Kategorie:Theorie der Abbildungsmonoide/Definitionen