Geometric theories of patch and Lawson topologies
Abstract
We give geometric characterisations of patch and Lawson topologies in the context of predicative point-free topology using the constructive notion of located subset. We present the patch topology of a stably locally compact formal topology by a geometric theory whose models are the points of the given topology that are located, and the Lawson topology of a continuous lattice by a geometric theory whose models are the located subsets of the given lattice. We also give a predicative presentation of the frame of perfect nuclei on a stably locally compact formal topology, and show that it is essentially the same as our geometric presentation of the patch topology. Moreover, the construction of Lawson topologies naturally induces a monad on the category of compact regular formal topologies, which is shown to be isomorphic to the Vietoris monad.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2017
- DOI:
- 10.48550/arXiv.1709.06403
- arXiv:
- arXiv:1709.06403
- Bibcode:
- 2017arXiv170906403K
- Keywords:
-
- Mathematics - Category Theory;
- Computer Science - Logic in Computer Science;
- Mathematics - Logic;
- 06B35;
- 03F60;
- 54B20;
- 06D22
- E-Print:
- 37 pages