I think I only finally remembered what a monoid was when I realized it was a category with one object ("mono-"). Or that a groupoid is a category where every a

I think I only finally remembered what a monoid was when I realized it was a category with one object ("mono-"). 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 "group."