Abstract
The primary purpose of this paper is to study join-continuous frames. We present two representation theorems for them: one in terms of Λ-subframes of complete Boolean algebras and the other in terms of certain Priestley spaces. This second representation is used to prove that the topological spaces whose frame of open sets is join-continuous are characterized by a condition which says that certain intersections of open sets are open. Finally, we show that Priestley's duality can be viewed as a partialization of the dual adjunction between the categories of, respectively, bitopological spaces and biframes, stated by B. Banaschewski, G. C. L. Brümmer and K. A. Hardie in [5].
Similar content being viewed by others
References
Banaschewski, B.: On the topologies of injective spaces, in:Continuous Lattices and Their Applications (Proc. Conf. Bremen, 1982), Lecture Notes in Pure and Appl. Math.101, Dekker, New York, 1985, pp. 1–8.
Banaschewski, B.: Universal zero-dimensional compactifications, in:Categorical Topology (Proc. Conf. Prague, 1988), ed. J. Adámek and S. MacLane, World Scientific, 1989, pp. 257–269.
Banaschewski, B. and G. C. L. Brümmer: Stably continuous frames,Math. Proc. Camb. Phil. Soc. 104 (1988), 7–19.
Banaschewski, B. and G. C. L. Brümmer: Strong zero-dimensionality of biframes and bispaces,Quaestiones Math. 13 (1990), 273–290.
Banaschewski, B., G. C. L. Brümmer, and K. A. Hardie: Biframes and bispaces,Quaestiones Math. 6 (1983), 13–25.
Beazer, R. and D. S. Macnab: Modal extensions of Heyting algebras,Colloq. Math. 41 (1979), 1–12.
Bonsall, F. F.: Semi-algebras of continuous functions,Proc. London Math. Soc. 10 (1960), 122–140.
Canfell, M. J.: Semi-algebras and maps of continuous functions, PhD Thesis, University of Edinburgh, 1968.
Hoffmann, R.-E.: Continuous posets, prime spectra of completely distributive complete lattices, and Hausdorff compactifications, in:Continuous Lattices (Proc. Conf. Bremen, 1979), Lecture Notes in Math.871, ed. B. Banaschewski and R.-E. Hoffmann, Springer-Verlag, Berlin-Heidelberg-New York, 1981, pp. 159–208.
Isbell, J. R.: Atomless parts of spaces,Math. Scand. 31 (1972), 5–32.
Johnstone, P.:Stone Spaces, Cambridge University Press, Cambridge, 1982.
Kelly, J. C.: Bitopological spaces,Proc. London Math. Soc. 13 (1963), 71–89.
Lawson, J. D., The duality of continuous posets,Houston J. Math. 5 (1979), 357–394.
MacLane, S.:Categories for the Working Mathematician, Graduate Texts in Math. vol. 5, Springer-Verlag, 1971.
Priestley, H. A.: Representation of distributive lattices by means of ordered Stone spaces,Bull. London Math. Soc. 2 (1970), 186–190.
Priestley, H. A.: Separation theorems for semicontinuous functions on normally ordered topological spaces,J. London Math. Soc. 3 (1971), 371–377.
Priestley, H. A.: Ordered topological spaces and the representation of distributive lattices,Proc. London Math. Soc. 24 (1972), 507–530.
Priestley, H. A.: Ordered sets and duality for distributive lattices,Ann. Discrete Math. 23 (1984), 39–60.
Pultr, A. and J. Sichler: Frames in Priestley's duality,Cah. Top. Géom. Diff. Cat. 29 (1988), 197–202.
Pultr, A. and A. Tozzi: Notes on Kuratowski-Mrówka theorems in point-free context,Cah. Top. Géom. Diff. Cat. 33 (1992), 3–14.
Raney, G. N.: A subdirect union representation for completely distributive complete lattices,Proc. Amer. Math. Soc. 4 (1953), 518–522.
Reilly, I. L.: Zero-dimensional bitopological spaces,Nederl. Akad. Wetensch., Proc. Ser. A 76,Indag. Math. 35 (1973), 127–131.
Salbany, S.: A bitopological view of topology and order, in:Categorical Topology (Proc. Conf. Toledo, Ohio, 1983, Sigma Series in Pure Math.5, Heldermann Verlag, Berlin, 1984, pp. 481–504.
Author information
Authors and Affiliations
Additional information
This work was partially supported by Centro de Matemáíica da Universidade de Coimbra.
Rights and permissions
About this article
Cite this article
Picado, J. Join-continuous frames, Priestley's duality and biframes. Appl Categor Struct 2, 297–313 (1994). https://doi.org/10.1007/BF00878102
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00878102