Kommutative Monoidringe/Funktorialität im Monoid/Fakt/Beweis
Beweis
Dies folgt aus Fakt angewandt auf die -Algebra und den zusammengesetzten Monoidhomomorphismus .
Dies folgt aus
Fakt
angewandt auf die
-Algebra
und den zusammengesetzten Monoidhomomorphismus
.