2025/07/16 by Saeed Rasouli, Rasouli, Saeed
Computer Science · #06F99 #55N30 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.2507.12154
openalex publication_date 2025/07/16 · openalex created_date 2025/10/14 · openalex updated_date 2026/07/28
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.