A New Proof of the Joyal-Tierney Theorem
Abstract
We give an alternative, more geometric, proof of the well-known Joyal-Tierney Theorem in locale theory by utilizing Priestley duality for frames.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2023
- DOI:
- arXiv:
- arXiv:2304.12651
- Bibcode:
- 2023arXiv230412651B
- Keywords:
-
- Mathematics - General Topology;
- 18F70;
- 06D22;
- 06D20;
- 06D50