An Adjunction Between Boolean Algebras and a Subcategory of Stone Algebras
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909465873219584 |
|---|---|
| author | Incer, Inigo |
| author_facet | Incer, Inigo |
| contents | We consider Stone algebras with a distinguished element $e$ satisfying the identity $e \to x = \neg \neg x$ for all elements $x$ of the algebra. We provide an adjunction between the category of such algebras and that of Boolean algebras. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2309_04135 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | An Adjunction Between Boolean Algebras and a Subcategory of Stone Algebras Incer, Inigo Category Theory We consider Stone algebras with a distinguished element $e$ satisfying the identity $e \to x = \neg \neg x$ for all elements $x$ of the algebra. We provide an adjunction between the category of such algebras and that of Boolean algebras. |
| title | An Adjunction Between Boolean Algebras and a Subcategory of Stone Algebras |
| topic | Category Theory |
| url | https://arxiv.org/abs/2309.04135 |