Previous |  Up |  Next

Article

Keywords:
frame; binary coproduct; pushout; compactness; separatedness; continuous frame; closed homomorphism; $D(\kappa)$-frame
Summary:
The structure of binary coproducts in the category of frames is analyzed, and the results are then applied widely in the study of compactness, local compactness (continuous frames), separatedness, pushouts and closed frame homomorphisms.
References:
[1] Banaschewski B.: Bourbaki's fixpoint lemma reconsidered. Comment. Math. Univ. Carolinae 33 (1992), 303-309. MR 1189661 | Zbl 0779.06004
[2] Banaschewski B.: On pushing out frames. Comment. Math. Univ. Carolinae 31 (1990), 13-21. MR 1056165 | Zbl 0706.18003
[3] Banaschewski B.: Compactification of frames. Math. Nachr. 149 (1990), 105-116. MR 1124796 | Zbl 0722.54018
[4] Banaschewski B.: Another look at the localic Tychonoff theorem. Comment. Math. Univ. Carolinae 26 (1985), 619-630. MR 0982782
[5] Bourbaki N.: Elements of Mathematics: General Topology. Reading, Mass.: Addison-Wesley, 1966. Zbl 1107.54001
[6] Chen X.: Closed Frame Homomorphisms. Doctoral Dissertation, McMaster University, 1991. Zbl 0858.54012
[7] Dowker C.H., Papert D.: Paracompact frames and closed maps. Symp. Math. 16 (1975), 93-116. MR 0410663 | Zbl 0324.54015
[8] Dowker C.H., Strauss D.: Separation axioms for frames. Colloq. Math. Soc. János Bolyai 8 (1972), 223-240. MR 0394559
[9] Isbell J.R.: Atomless parts of spaces. Math. Scand. 31 (1972), 5-32. MR 0358725 | Zbl 0246.54028
[10] Johnstone P.T.: Stone Space. Cambridge University Press, 1982. MR 0698074
[11] Kříž I., Pultr A.: Peculiar behaviour of connected locales. Cahiers de Top. et Géom. Diff. Cat. XXX-1 (1989), 25-43. MR 1000829
[12] Pultr A., Tozzi A.: Notes on Kuratowski-Mrówka theorems in point-free context. Cahiers de Top. et Géom. Diff. Cat. XXXIII-1 (1992), 3-14. MR 1163423 | Zbl 0772.54016
[13] Vermeulen J.J.C.: Some constructive results related to compactness and the (strong) Hausdorff property for locales. Category Theory, Proceedings, Como 1990, Springer LNM 1488 (1991), 401-409. MR 1173026 | Zbl 0739.18001
Partner of
EuDML logo