Set functor. II: Contravariant case