Holmstrom Ex-infty functor

Kan’s $Ex^{\infty}$ functor, see Goerss-Jardine section III.4. It maps a simplicial set into a Kan complex via a WE. The construction is preserved by left exact functors which have right adjoints.

nLab page on Ex-infty functor