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 Aop 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)↦xy – has the same underlying set of elements, but binary operation changed by reversing the order of the factors: (x,y)↦yx.
Also I touched the Definition-section, trying to beautify a little, both the wording and the formulas.
Added cross-reference to reverse monoidal category. It’s a little confusing that the two terminologies do not match: it would be more consistent to call this the reverse magma, rather than the opposite magma. I do not know whether there is precedent for this in the literature, though.
1 to 3 of 3