The Covariant power set functor is a Functor Category of Sets Given we define by We also have the Contravariant powerset functor: (or ) defined by and given we have