This reminds me of the fact that if \$$M\$$ is an ordinary monoid, then the multiplication function \$$M\times M\to M\$$ isn't a monoid homomorphism unless \$$M\$$ is commutative. Is that just a coincidence, or is there something deeper connecting both of these ideas?