2 papers
math.GN2023
A New Proof of the Joyal-Tierney Theorem
Guram Bezhanishvili, Luca Carai, Patrick Morandi
We give an alternative, more geometric, proof of the well-known Joyal-Tierney Theorem in locale theory by utilizing Priestley duality for frames.
math.LO2023
Heyting frames and Esakia duality
Guram Bezhanishvili, Luca Carai, Patrick Morandi
We introduce the category of Heyting frames and show that it is equivalent to the category of Heyting algebras and dually equivalent to the category of Esakia spaces. This provides…