Monoid

It is a category with only one object.