define category of Sets.