File:Monoid.4.A.20170812.pdf