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.

4 years 20 weeksago4 years 29 weeksago4 years 30 weeksago5 years 7 weeksago5 years 28 weeksago