I took some of my posts from here about commutative monoids and massaged them into a more permanent form. It’s all pretty basic stuff, but perhaps someone will find it useful: https://monoids.net/2,2.html#commutative