Rings and Boolean Algebras as Algebraic Theories
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915822339883008 |
|---|---|
| author | De Faveri, Arturo |
| author_facet | De Faveri, Arturo |
| contents | We present a unified framework for representing commutative rings through affine algebraic theories and Boolean rings through hyperaffine algebraic theories. This yields categorical equivalences between these theories and, respectively, commutative rings and Boolean rings. We then analyse models of affine theories over a Boolean ring $B$, comparing them with the models of hyperaffine theories, the well-known $B$-sets. Two novel characterisations are presented: the first defines these models as Boolean vector spaces equipped with an action of the Boolean ring; the second provides a representation in terms of sheaves, in analogy with $B$-sets. Finally, we establish a connection between hyperaffine theories and multidimensional Boolean algebras, a recently introduced generalisation of Boolean algebras. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_04430 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Rings and Boolean Algebras as Algebraic Theories De Faveri, Arturo Logic Logic in Computer Science We present a unified framework for representing commutative rings through affine algebraic theories and Boolean rings through hyperaffine algebraic theories. This yields categorical equivalences between these theories and, respectively, commutative rings and Boolean rings. We then analyse models of affine theories over a Boolean ring $B$, comparing them with the models of hyperaffine theories, the well-known $B$-sets. Two novel characterisations are presented: the first defines these models as Boolean vector spaces equipped with an action of the Boolean ring; the second provides a representation in terms of sheaves, in analogy with $B$-sets. Finally, we establish a connection between hyperaffine theories and multidimensional Boolean algebras, a recently introduced generalisation of Boolean algebras. |
| title | Rings and Boolean Algebras as Algebraic Theories |
| topic | Logic Logic in Computer Science |
| url | https://arxiv.org/abs/2503.04430 |