The regular-locally compact coreflection of a stably locally compact locale

Journal of Pure and Applied Algebra

Volumn 157, Issue 1, 2001, Pages 41-55

  Escardó, Martín Hötzel ^a,b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF ST ANDREWS   (United Kingdom)

Author keywords

06B35; 06E15; 54A10; 54H10

Indexed keywords

EID: 0038047605     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(99)00172-3     Document Type: Article

References (27)

1. Banaschewski B. Another look at the localic Tychonoff theorem. Comment. Math. Univ. Carolin. 29(4):1988;647-655.
2. Banaschewski B., Brümmer G.C.L. Stably continuous frames. Math. Proc. Cambridge Philos. Soc. 104(7):1988;7-19.
3. Escardó M.H. Properly injective spaces and function spaces. Topology Appl. 89(1-2):1988;75-120.
4. G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, D.S. Scott, A Compendium of Continuous Lattices, Springer, Berlin, 1980.
5. K.H. Hofmann, Stably continuous frames, and their topological manifestations, in: Categorical Topology, Proc. Int. Conf. (Toledo, OH, 1983), Sigma Series in Pure Mathematics, Vol. 5, Heldermann, 1984, pp. 282-307.
6. Hofmann K.H., Lawson J.D. The spectral theory of distributive continuous lattices. Trans. Amer. Math. Soc. 246:1978;285-310.
7. K.H. Hofmann, M. Mislove, Local compactness and continuous lattices, in: B. Banaschewski, R.-E. Hoffmann (Eds.), Continuous Lattices, Lecture Notes in Mathematics, Vol. 871, Springer, Berlin, 1981, pp. 209-248.
8. Isbell J.R. Atomless parts of spaces. Math. Scand. 31:1972;5-32.
9. Johnstone P.T. The Gleason cover of a topos, II. J. Pure Appl. Algebra. 22(3):1981;229-247.
10. P.T. Johnstone, Stone Spaces, Cambridge studies in Advanced Mathematics, Vol. 3, Cambridge University Press, Cambridge, 1982.
11. P.T. Johnstone, Vietoris locales and localic semilattices, in: R.-E. Hoffmann, K.H. Hofmann (Eds.), Continuous Lattices and Their Applications, Lecture Notes in Pure and Applied Mathematics, Vol. 101, Marcel Dekker, New York, 1985, pp. 155-180.
12. A. Joyal, M. Tierney, An Extension of the Galois Theory of Grothendieck, Memoirs of the American Mathematical Society, Vol. 51, Providence, RI, 1984.
13. A. Jung, Ph. Sünderhauf, On the duality compact vs. open, in: Papers on General Topology and Applications (Gorham, ME, 1995), New York Academy of Science, 1996, pp. 214-230.
14. Karazeris P. Compact topologies on locally presentable categories. Cahiers Topologie Géom. Différentielle Catég. 38(3):1997;227-255.
15. J.D. Lawson, The versatile continuous order, in: M. Main, A. Melton, M. Mislove, D. Schimdt (Eds.), Mathematical Foundations of Programming Language Semantics (New Orleans, LA, 1987), Lecture Notes in Computer Science, Vol. 298, Springer, Berlin, 1988, pp. 134-160.
16. S. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics, Vol. 5, Springer, Berlin, 1971.
17. MacNab D.S. Modal operators on Heyting algebras. Algebra Universalis. 12:1981;5-29.
18. L. Nachbin, Topologia e ordem, University of Chicago Press, Chicago 1950 (English translation published in 1965 by Van Nostrand, Princeton, as Topology and Order) (in: Portuguese).
19. Priestley H.A. Representation of distributive lattices by means of ordered stone spaces. Bull. London Math. Soc. 2:1970;186-190.
20. Priestley H.A. Ordered topological spaces and the representation of distributive lattices. Proc. London Math. Soc. 24(3):1972;507-530.
21. S. Salbany, A bitopological view of topology and order, in: Categorical Topology, Proc. Int. Conf. (Toledo, OH, 1983), Sigma Series in Pure Mathematics, Vol. 5, Helderman, 1984, pp. 481-504.
22. H. Simmons, A framework for topology, in: Logic Colloquium '77, Proceedings of the Conference, Wroclaw, 1977, Studies in Logic and the Foundations of Mathematics, Vol. 96, North-Holland, Amsterdam, 1978, pp. 239-251.
23. Smyth M.B. Stable compactification, I. J. London Math. Soc. 45(2):1992;321-340.
24. C.F. Townsend, Preframe techniques in constructive locale theory, Ph.D. Thesis, Department of Computing, Imperial College of the University of London, 1996.
25. Vermeulen J.J.C. Proper maps of locales. J. Pure Appl. Algebra. 92(1):1994;79-107.
26. S.J. Vickers, Topology via Logic, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 1989.
27. Vickers S.J. Constructive points of powerlocales. Math. Proc. Cambridge Philos. Soc. 122(2):1997;207-222.