Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
The first line of the Idea-section read:
Every magma $A$ has an opposite $A^op$ in which the operation goes the other direction.
This rather sounded like talking about co-magmas. I have replaced this now with the following more lengthy but less ambiguous sentence:
The opposite of a magma – hence of a set with a binary operation $(x,y) \mapsto x y$ – has the same underlying set of elements, but binary operation changed by reversing the order of the factors: $(x,y) \mapsto y x$.
Also I touched the Definition-section, trying to beautify a little, both the wording and the formulas.
1 to 1 of 1