realization functor