An insertion theorem for continuous [formula omitted]-valued functions and its consequences

Abstract

Spaces in which open sets take values in the L-interval I(L) are investigated. We prove a theorem concerning the insertion of a continuous function with values in I(L) with L a complete lattice. We establish certain factorizations of the functors ω I(L) and ι I(L) with L a hypercontinuous lattice. The latter result and the insertion theorem provide a partial answer to a recent open question related to insertion of lattice-valued functions. As another application of the insertion theorem we establish a relation between complete regularity in the categories of L-topological and I(L) -topological spaces with L a frame.