JournalspmVol. 73, No. 2pp. 139–152

On an aspect of scatteredness in the point-free setting

  • Richard N. Ball

    University of Denver, USA
  • Jorge Picado

    Universidade de Coimbra, Portugal
  • Aleš Pultr

    Charles University, Prague, Czech Republic
On an aspect of scatteredness in the point-free setting cover
Download PDF

A subscription is required to access this article.

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.

Cite this article

Richard N. Ball, Jorge Picado, Aleš Pultr, On an aspect of scatteredness in the point-free setting. Port. Math. 73 (2016), no. 2, pp. 139–152

DOI 10.4171/PM/1980