Ex∞ functor