Sets is the category of whose objects are all the sets and morphisms are set theoretical mappings.