Perfect locales and localic real functions
The purpose of this paper is to identify the role of perfectness in the Michael insertion theorem for perfectly normal locales. We attain it by characterizing perfect locales in terms of strict insertion of two comparable lower semicontinuous and upper semicontinuous localic real functions. That cha...
Main Author: | |
---|---|
Other Authors: | , |
Format: | article |
Language: | eng |
Published: |
2020
|
Subjects: | |
Online Access: | http://hdl.handle.net/10316/90467 |
Country: | Portugal |
Oai: | oai:estudogeral.sib.uc.pt:10316/90467 |