A New Proof of the Joyal-Tierney Theorem
General Topology
2023-04-26 v1
Abstract
We give an alternative, more geometric, proof of the well-known Joyal-Tierney Theorem in locale theory by utilizing Priestley duality for frames.
Cite
@article{arxiv.2304.12651,
title = {A New Proof of the Joyal-Tierney Theorem},
author = {Guram Bezhanishvili and Luca Carai and Patrick Morandi},
journal= {arXiv preprint arXiv:2304.12651},
year = {2023}
}