ADJUNCTIONS BETWEEN CATEGORIES OF DOMAINS
Michael W. Mislove, Frank J. Oles · Fundamenta Informaticae · 1995
In this paper we show that there is no left adjoint to the inclusion functor from the full subcategory 𝒞0 of Scott domains (i.e., consistently complete ω–algebraic cpo's) to 𝒮ℱ𝒫, the category of 𝒮ℱ𝒫-objects and Scott-continuous maps. We also sho