Affiliation:
1. Department of Applied Mathematics, Cracow University of Technology, ul. Warszawska 24, 31-155 Kraków, Poland
Abstract
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.
Subject
Physics and Astronomy (miscellaneous),General Mathematics,Chemistry (miscellaneous),Computer Science (miscellaneous)
Reference51 articles.
1. Adámek, J., Herrlich, H., and Strecker, G.E. (1990). Abstract and Concrete Categories. The Joy of Cats, Wiley.
2. Piękosz, A. (2021). Stone duality for Kolmogorov locally small spaces. Symmetry, 13.
3. Piękosz, A. (2022). Esakia duality for Heyting small spaces. Symmetry, 14.
4. Topological Kripke models;Esakia;Dokl. Akad. Nauk SSSR,1974
5. Esakia, L. (2019). Heyting Algebras. Duality Theory, Springer Nature.