I think I only finally remembered what a monoid was when I realized it was a category with one object (&quot;mono-&quot;).  Or that a groupoid is a category where every arrow is an isomorphism, so then a category which is both a monoid and a groupoid is a &quot;group.&quot;