Abstract
For a complete Heyting lattice ℒ, we define a category Etale (ℒ). We show that the category Etale (ℒ) is equivalent to the category of the sheaves over ℒ, Sh(ℒ), hence also with ℒ-valued sets, see [2], [1]. The category Etale(ℒ) is a generalization of the category Etale (X), see [1], where X is a topological space.
Similar content being viewed by others
References
M. P. Fourman and D. S. Scott, Sheaves and logic in applications of sheaves, Proceedings of Durham Symposium, LNM vol. 753, Springer 1979.
D. Higgs, A Category Approach to Boolean Valued Set Theory, University of Waterloo, Waterloo 1973.
A. W. Jankowski, Snopy Nad Algebrami Heytinga, Problem międzyresortowy pt. Teorie matematyozne i ich zastosowania M.R.I. 1, University of Warsaw, Warszawa 1983. (In Polish.)
S. Mac Lane, Categories for the Working Mathematician, Springer 1971.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jankowski, A.W., Zawadowski, M. Sheaves over Heyting lattices. Stud Logica 44, 237–256 (1985). https://doi.org/10.1007/BF00394444
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00394444