16 Jan
2009
16 Jan
'09
2:05 p.m.
Philippa Cowderoy wrote:
On Fri, 16 Jan 2009, Duncan Coutts wrote:
If you or anyone else has further concrete suggestions / improvements then post them here now! :-)
Spell out what associativity means
It probably makes sense to do as Jeremy Shaw suggests and explicitly list the monoid laws, which would include the associative equality, but there really shouldn't be any other text in the definition of Monoid devoted to explaining what associativity means. Instead, linking words like "associative" to a definition in a glossary would make sense. Anton