Abstract
It is well known that a locale is subfit iff each of its open sublocales is a join of closed ones, and fit iff each of its closed sublocales is a meet of open ones. This formulation, however, exaggerates the parallelism between the behavior of fitness and subfitness. For it can be shown that a locale is fit iff each of its sublocales is a meet of closed ones, but it is not the case that a locale is subfit iff each of its sublocales is a join of closed ones. Thus we are led to take up the very natural question of which locales have the feature that every sublocale is a join of closed sublocales. In this note we show that these are precisely the subfit locales which are scattered in the point-free sense of [13], and we add a variation for spatial frames.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callSimilar Papers
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
