Affiliations: Department of Mathematics, Tulane University, New Orleans, LA 70118 | Mathematical Sciences Department, IBM Thomas J. Watson Research Center, Yorktown Heights, NY 10598
Note: [] Work partially supported by the Office of Naval Research
Abstract: 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 show there is no left adjoint to the inclusion functor from ๐0 to any larger category of cpo's which contains a simple five-element domain. As a corollary, there is no left adjoint to the inclusion functor from ๐0 to the category of L-domains. We also investigate adjunctions between categories which contain ๐0, such as ๐ฎโฑ๐ซ, and sub categories of ๐0. Of course, it is well-known that each of the three standard power domain constructs gives rise to a left adjoint. Since the Hoare and Smyth power domains are Scott domains, we can regard each of these two adjunctions as left adjoints to inclusion functors from appropriate subcategories of ๐0. But, our interest here is in adjunctions for which the target of the left adjoint is a lluf subcategory of ๐; such a subcategory has all Scott domains as objects, but the morphisms are more restrictive than being Scott continuous. We show that three such adjunctions exist. The first two of these are based on the Smyth power domain construction. One is a left adjoint to the inclusion functor from the category ๐ of consistently complete algebraic cpo's and Scott-continuous maps preserving finite, non-empty infima to the category of coherent algebraic cpo's and Scott-continuous maps. The same functor has a restriction to the subcategory of coherent algebraic cpo's whose morphisms also are Lawson continuous to the lluf subcategory of ๐ whose morphisms are those Scott-continuous maps which preserve all non-empty infima. The last adjunction we derive is a generalization of the Hoare power domain which satisfies the property that, if D is a nondeterministic algebra, then the image of D under the left adjoint enjoys an additional semigroup structure under which the original algebra D is among the set of idempotents. In this way, we expand the Plotkin power domain ๐ซ(D) over the Scott domain D into a Scott domain.
