
25 Jun
2011
25 Jun
'11
8:37 p.m.
On Fri, 24 Jun 2011, Evan Laforge wrote:
So there's a range of possible Monoid instances for each type, and maybe they were chosen by historical happenstance rather than some kind of "principle monoid" (is there such a thing?). Is there a name for the thing that's like a monoid, but the operator is commutative too?