Kommutative Monoidringe/Funktorialität im Ring/Fakt

Es 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).