News for hackers. Stuff that matters.
Re:A monoid is a category, a category is a monad, a monad is... by nimih on Monday April 17, 2017 @05:17PM (#14134484)
Binary trees, with the operation being to join two trees at the root, form a magma which should quite clearly be non-associative (and thus not a semigroup).

There are of course other examples of sets equipped with non-associative binary operations (for example, 3-dimensional vectors with the cross product), but those typically have extra structure that you will want to exploit which "non-associative magma" cannot capture, and talking about them as magmas will probably feel somewhat artificial unless you have a good reason for ignoring all that structure.

There are no comments on this comment yet.