Presenting de Groot duality of stably compact spaces
release_pzvopsqxmjhhffbdlwkuazhmfm
by
Tatsuji Kawai
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) |
1812.06480v4
access all versions, variants, and formats of this works (eg, pre-prints)