activity
20182026
most citedGelfand-Naimark-Stone duality for normal spaces and insertion theorems

1 citations · 1 across the 10 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

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…