Sd∞ functor