why is power set functor contravariant?

Printable View