A New Proof of the Joyal-Tierney Theorem

2023/04/25 by Guram Bezhanishvili, Luca Carai, Bezhanishvili, Guram +3 · 1 citation
Engineering · Mathematics · #Advanced Numerical Analysis Techniques #Rings, Modules, and Algebras

paper · pdf · doi:10.48550/arxiv.2304.12651

Abstract

We give an alternative, more geometric, proof of the well-known Joyal-Tierney Theorem in locale theory by utilizing Priestley duality for frames.

Cited by

• Priestley perspective on pointfree topology

Related

• Algebraic Frames in Priestley duality
• Priestley perspective on pointfree topology
• Localization and Conjectures from String Duality
• Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
• The Local Joyal Model Structure