[shigeo]

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