Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains (Q2216678)

The category of continuous domains provides a model for denotational semantics of functional programming languages but it is not Cartesian closed, which led to the study of Cartesian closed full subcategories of continuous domains by several authors. The Isbell topology and the Scott topology are two important topologies on the function space between some domain \(X\) and and some quasicontinuous domain \(P\). The Scott topology is a well established tool in theoretical computer science, it is well known that every topological space can be embedded in a continuous lattice which is homeomorphic (and isomorphic) to its own function space. The Isbell topology on the set \(C(X,Y)\) of continuous maps between the topological spaces \(X\) and \(Y\) is jointly continuous if \(X\) is a core-compact space. In this case the Isbell topology is also the greatest splitting topology. Usually, the Isbell topology is coarser than Scott topology. By relaxing the condition of continuity to quasicontinuity, the authors of this paper successfully show that the Scott topology and Isbell topology agree on the function space from a bounded complete algebraic domain \(X\) to a quasicontinuous domain \(P\) with an additional necessary property.