Submitted:
02 November 2022
Posted:
03 November 2022
You are already at the latest version
Abstract
We develop the theory of Heyting small spaces and prove a new version of Esakia duality for such spaces. To do this, we notice that spectral spaces may be seen as sober small spaces with all smops compact and introduce the method of the standard spectralification. This helps to understand open continuous definable mappings between definable spaces over o-minimal structures.
Keywords:
Esakia duality
; small space
; spectral space
; Heyting algebra
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.