The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Monoid
A Small Category with one object is a monoid
(morphisms being elements).
In other words it satisfies: