File talk:Monoid comonoid laws.svg

Note in this case this gets used, as I did come across it when searching:

Isn’t the last row only true for a commutative (co)monoid?

--Alexander R Newman (talk) 21:30, 14 April 2024 (UTC)