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

Beweis

Dies folgt aus Fakt, angewandt auf die -Algebra und den Monoidhomorphismus .