Esakia Duality for Heyting Small Spaces

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.