Charles Explorer logo
🇨🇿

On an aspect of scatteredness in the point-free setting

Publikace na Matematicko-fyzikální fakulta |
2016

Tento text není v aktuálním jazyce dostupný. Zobrazuje se verze "en".Abstrakt

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.