power set functor

Categories: