Commutative Quantale and Localization
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866913975078223872 |
|---|---|
| author | Li, Bangzheng Xiao, Yichen |
| author_facet | Li, Bangzheng Xiao, Yichen |
| contents | In this paper we introduce the localization construction for quantales. A quantale is a complete semilattice combined with a multiplication. We mimic the notion of filter in a lattice to define multiplicative filters in a quantale, and construct the localization of the quantale at a multiplicative filter. We prove theorems with similar structure as "$\Spec R$ is a sheaf" and use them to obtain several results in algebra and geometry, including the Baire Category Theorem and some of its generalizations. We also present an algebraic version of Baire Category Theorem, which we believe has not appeared in literature. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_02991 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Commutative Quantale and Localization Li, Bangzheng Xiao, Yichen Rings and Algebras General Topology In this paper we introduce the localization construction for quantales. A quantale is a complete semilattice combined with a multiplication. We mimic the notion of filter in a lattice to define multiplicative filters in a quantale, and construct the localization of the quantale at a multiplicative filter. We prove theorems with similar structure as "$\Spec R$ is a sheaf" and use them to obtain several results in algebra and geometry, including the Baire Category Theorem and some of its generalizations. We also present an algebraic version of Baire Category Theorem, which we believe has not appeared in literature. |
| title | Commutative Quantale and Localization |
| topic | Rings and Algebras General Topology |
| url | https://arxiv.org/abs/2508.02991 |