Abstract
In this paper the question of what classes A of T 0-spaces should be paired with classes ℬ of domains in order that all function spaces [A→B] for A∈A and B∈ℬ are λ-compact domains is considered. It is shown that core compact spaces are paired with bounded complete domains and a class of topological spaces called RW-spaces (with finitely many components) is paired with the class of λ-compact pointed L-domains (L-domains).
Similar content being viewed by others
References
Abramsky, S. and Jung, A.: Domain theory, in S. Aramsky, D.M. Gabbay and T. S. E. Maibaum (eds), Handbook of Logic in Computer Science, Vol. 3, Clarendon Press, 1994, pp. 1–168.
Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. and Scott, D.: A Compendium of Continuous Lattices, Springer-Verlag, Berlin, 1980.
Gierz, G., Hofmann, K., Keimel, K., Lawson, J. D., Mislove, M. and Scott, D.: Continuous Lattices and Domains, Cambridge University Press, 2003.
Jung, A.: Cartesian closed categories of domains, Ph.D. Thesis, Technische Hochschule Darmstadt, 1988.
Kou, H. and Luo, M.: RW-spaces and compactness of function spaces for L-domains, to appear.
Lawson, J. D. and Xu, L.: When does the class [A → B] consist of continuous domains? Topology and its Applications 130 (2003), 91–97.
Lawson, J. D. and Mislove, M.: Problems in domain theory and topology, in J. Van Mill and G. M. Reed (eds), Open Problems in Topology, Elsevier, 1990, pp. 351–372.
Liang, J. and Keimel, K.: Compact continuous L-domains, Computers & Mathematics with Applications 38 (1999), 81–89.
Xu, L.: External characterizations of continuous sL-domains, to appear.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lawson, J.D., Xu, L. Maximal Classes of Topological Spaces and Domains Determined by Function Spaces. Applied Categorical Structures 11, 391–402 (2003). https://doi.org/10.1023/A:1024493004302
Issue Date:
DOI: https://doi.org/10.1023/A:1024493004302