Heyting Locally Small Spaces and Esakia Duality

We develop the theory of Heyting locally small spaces, including Stone-like dualities such as a new version of Esakia duality and a system of concrete isomorphisms and equivalences. In such a way, we continue building tame topology, realising Grothendieck's ideas. We use up-spectral spaces and define the standard up-spectralification of a Kolmogorov locally small space. This research gives more understanding of locally definable spaces over structures with topologies.