Kommutative Monoidringe/Funktorialität im Ring/Fakt

Sei ein kommutativer Ring und eine -Algebra. Es sei ein kommutatives Monoid.

Dann gibt es einen natürlichen -Algebrahomomorphismus

(die Koeffizienten aus werden also einfach in aufgefasst).