the category of set is complete and co complete