  Let M be a transitive model of set theory. There is a canonical
interpretation functor between the category of regular Hausdorff, continuous
open images of Cech-complete spaces of M and the same category in V, preserving
many concepts of topology, functional analysis, and dynamics. The functor can
be further canonically extended to the category of Borel subspaces. This
greatly simplifies and extends similar results of Fremlin.
