Realization functor