Sheaf of Residuated Lattices
Saeed Rasouli · arXiv (Cornell University) · 2025
This paper explores the interface between algebra, topology, and logic by developing the theory of sheaves and etale spaces for residuated lattices, algebraic structures central to substructural and fuzzy logics. We construct stalkwise-residuated etale spaces and demonstrate that they form a subcategory of the category of etale spaces of sets. A categorical and topological characterization of the sheaf condition is presented, with particular emphasis on filters, congruences, and the topologies induced on prime spectra.