Zum Inhalt springen

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

Aus Wikiversity
Beweis

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