Kommutative Monoidringe/Funktorialität im Monoid/Fakt/Beweis

Beweis

Dies folgt aus Fakt angewandt auf die $R$-Algebra  $B=R[N]$  und den zusammengesetzten Monoidhomomorphismus $M\stackrel{\phi }{\to }N\to R[N]$.

Zur bewiesenen Aussage