This paper analyses the notion of a positivity relationof Formal Topology from the point of view of the theory of Locales. It is shown that a positivity relation on a locale corresponds to a suitable class of points of its lower powerlocale. In particular, closed subtopologies associated to the positivity relation correspond to overt (that is, with open domain) weakly closed sublocales. Finally, some connection is revealed between positivity relations and localic suplattices (these are algebras for the powerlocale monad).
Positivity relations on a locale
CIRAULO, FRANCESCO;
2016
Abstract
This paper analyses the notion of a positivity relationof Formal Topology from the point of view of the theory of Locales. It is shown that a positivity relation on a locale corresponds to a suitable class of points of its lower powerlocale. In particular, closed subtopologies associated to the positivity relation correspond to overt (that is, with open domain) weakly closed sublocales. Finally, some connection is revealed between positivity relations and localic suplattices (these are algebras for the powerlocale monad).File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
fishes_for_locales-2014.pdf
accesso aperto
Descrizione: articolo
Tipologia:
Preprint (AM - Author's Manuscript - submitted)
Licenza:
Accesso libero
Dimensione
349.45 kB
Formato
Adobe PDF
|
349.45 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.