The revisions let you track differences between multiple versions of a post.
"rig" is definitely a distinct concept from "ring". It means "monoid enriched in commutative monoids" as opposed to "monoid enriched in abelian groups".
View a list of all articles.
Tricki