Li Yong-ming, Wang Guo-jun
Localic Kat\v etov-Tong insertion theorem and localic Tietze extension theorem

Comment.Math.Univ.Carolinae 38,4 (1997) 801-814.

Abstract:In this paper, localic upper, respectively lower continuous chains over a locale are defined. A localic Kat\v etov-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.

Keywords: frame, locale, lower (upper) continuous chain, normal locale
AMS Subject Classification: 06D20, 54C30

PDF