Presenting de Groot duality of stably compact spaces release_pzvopsqxmjhhffbdlwkuazhmfm

by Tatsuji Kawai

Released as a article .

2020  

Abstract

We give a constructive account of the de Groot duality of stably compact spaces in the setting of strong proximity lattice, a point-free representation of a stably compact space. To this end, we introduce a notion of strong continuous entailment relation, which can be thought of as a presentation of a strong proximity lattice by generators and relations. The new notion allows us to identify de Groot duals of stably compact spaces by analysing the duals of their presentations. We carry out a number of constructions on strong proximity lattices using strong continuous entailment relations and study their de Groot duals. The examples include various powerlocales, patch topology, and the space of valuations. These examples illustrate the simplicity of our approach by which we can reason about the de Groot duality of stably compact spaces.
In text/plain format

Archived Files and Locations

application/pdf  430.6 kB
file_3adgermpp5cuxd63f652kl7ria
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2020-03-08
Version   v4
Language   en ?
arXiv  1812.06480v4
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: dc95dc3a-6df4-46ff-9956-1739f5184567
API URL: JSON