Comment on A pilot project in universal algebra to explore new ways to collaborateComments−tempodox1yI have to wonder whether there's a magma where equation 4 holds while equation 7 (commutativity) doesn't. Off the top of my head, I can't think of one but does that mean there absolutely can't be one, like the depicted graph implies?−NooneAtAll31yyou mean the opposite way?article gives proof why 4 implies 7 (thus magma with eq4 always agrees with eq7)
Comments
I have to wonder whether there's a magma where equation 4 holds while equation 7 (commutativity) doesn't. Off the top of my head, I can't think of one but does that mean there absolutely can't be one, like the depicted graph implies?
you mean the opposite way?
article gives proof why 4 implies 7 (thus magma with eq4 always agrees with eq7)