Properly injective spaces and function spaces

Topology and its Applications

Volumn 89, Issue 1-2, 1998, Pages 75-120

  Escardó, Martín Hötzel ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Continuous lattices; Continuous scott domains; Domain theory; Function spaces; Injective spaces; Kan extensions; KZ monads; Locales; Lower and upper power spaces; Proper maps; Stably locally compact spaces; Subspaces of maximal points

Indexed keywords

EID: 0001897066     PISSN: 0016660X     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0166-8641(97)00225-3     Document Type: Article

References (10)

1. S. Abramsky, Abstract interpretation, logical relations and Kan extensions, J. Logic Comput. 1 (1) (1990) 5-40.
2. S. Abramsky and A. Jung, Domain theory, in: S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, eds., Handbook of Logic in Computer Science, Vol. 3 (Clarendon Press , Oxford, 1994) 1-168.
3. B. Banaschewski, Another look at the localic Tychonoff Theorem, Comm. Math. Univ. Carolin. 29 (4) (1988) 647-655.
4. N. Bourbaki, General Topology, Vol. 1 (Addison-Wesley, London, 1966).
5. B.A. Davey and H.A. Priestley, Introduction to Lattices and Order (Cambridge University Press, Cambridge, 1990).
6. A. Day, Filter monads, continuous lattices and closure systems, Canad. J. Math. XXVII (1) (1975) 50-59.
7. E.J. Dubuc, Kan Extensions in Enriched Category Theory, Lecture Notes in Math. 145 (Springer, Berlin, 1970).
8. A. Edalat, Domain theory and integration, Theoret. Comput. Sci. 151 (1995) 163-193.
9. A. Edalat, Dynamical systems, measures and fractals via domain theory, Inform, and Comput. 120 (1) (1995) 32-48.
10. A. Edalat, The Scott topology induces the weak topology, Math. Structures Comput. Sci. (1996).