Localic Katětov-Tong insertion theorem and localic Tietze extension theorem
Yong Min Li, Wang Guo-jun (1997)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
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.