Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2507.12154 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918094819033088 |
|---|---|
| author | Rasouli, Saeed |
| author_facet | Rasouli, Saeed |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_12154 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Sheaf of Residuated Lattices Rasouli, Saeed Logic 06F99, 55N30 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. |
| title | Sheaf of Residuated Lattices |
| topic | Logic 06F99, 55N30 |
| url | https://arxiv.org/abs/2507.12154 |