2 papers
math.LO2026
Localic Esakia Duality via Conic Frames
Nesta van der Schaaf
Esakia duality is the dual equivalence between Heyting algebras and Esakia spaces. However, the traditional proof uses the Prime Ideal Theorem to recover the algebra from its spect…
math-ph2025
Causal Coverage in Ordered Locales and Spacetimes
Chris Heunen, Nesta van der Schaaf
We develop relativistic causality theory in the setting of point-free topology by introducing a notion of causal coverage in ordered locales, generalising their canonical coverage…