lifting of the powerset functor