Or that a monoid is merely a category with exactly one object.