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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Dies folgt aus Fakt angewandt auf die -Algebra und den zusammengesetzten Monoidhomomorphismus .

Zur bewiesenen Aussage