In this paper, localic upper, respectively lower continuous chains over a locale are defined. A localic Katětov-Tong insertion theorem is given and proved in terms of a localic upper and lower continuous chain. Finally, the localic Urysohn lemma and the localic Tietze extension theorem are shown as applications of the localic insertion theorem.
@article{118974, author = {Yong Min Li and Wang Guo-jun}, title = {Localic Kat\v etov-Tong insertion theorem and localic Tietze extension theorem}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {38}, year = {1997}, pages = {801-814}, zbl = {0938.06008}, mrnumber = {1603726}, language = {en}, url = {http://dml.mathdoc.fr/item/118974} }
Li, Yong Min; Guo-jun, Wang. Localic Katětov-Tong insertion theorem and localic Tietze extension theorem. Commentationes Mathematicae Universitatis Carolinae, Tome 38 (1997) pp. 801-814. http://gdmltest.u-ga.fr/item/118974/
General Topology, Warszawa, 1975. | MR 0500779 | Zbl 0684.54001
Sheaf models for analysis, Applications of sheaves, Lecture Notes in Math., vol. 753, Springer-Verlag, 1979, pp.280-301. | MR 0555550 | Zbl 0427.03028
Stone Spaces, Cambridge Press, Cambridge, 1982. | MR 0698074 | Zbl 0586.54001
The point of pointless topology, Bull. Amer. Math. Soc. 8 (1983), 41-53. (1983) | MR 0682820 | Zbl 0499.54002
On real-valued functions in topological spaces, Fund. Math. 38 (1951), 85-91; correction 40 (1953), 203-205. (1951) | MR 0050264
A strengthening of the Katětov-Tong insertion theorem, Comment. Math. Univ. Carolinae 34 (1993), 357-362. (1993) | MR 1241744 | Zbl 0807.54023
Weak locale quotient morphisms and locally connected frames, J. Pure Appl. Alg. 110 (1996), 101-107. (1996) | MR 1390674
Lattice-valued Hahn-Dieudonné-Tong insertion theorem and stratification structure, Top. Appl. 45 (1992), 173-178. (1992) | MR 1180808 | Zbl 0767.54016
Frames associated with an abelian $l$-group, Trans. Amer. Math. Soc. 331 (1992), 265-279. (1992) | MR 1042288 | Zbl 0765.54029
Equationally closed subframes and representation of quotient spaces, Cahiers Top. Geom. Diff. Cat. 33 (1993), 167-183. (1993) | MR 1239466 | Zbl 0789.54008
Some characterization of normal and perfectly normal spaces, Bull. Amer. Math. Soc. 54 (1948), 65; see also Duke Math. Soc. 19 (1952), 248-292. (1948) | MR 0050265
Topology Via Logic, Cambridge Press, Cambridge, 1989. | MR 1002193 | Zbl 0922.54002