English

An Adjunction Between Boolean Algebras and a Subcategory of Stone Algebras

Category Theory 2025-01-28 v1

Abstract

We consider Stone algebras with a distinguished element ee satisfying the identity ex=¬¬xe \to x = \neg \neg x for all elements xx of the algebra. We provide an adjunction between the category of such algebras and that of Boolean algebras.

Keywords

Cite

@article{arxiv.2309.04135,
  title  = {An Adjunction Between Boolean Algebras and a Subcategory of Stone Algebras},
  author = {Inigo Incer},
  journal= {arXiv preprint arXiv:2309.04135},
  year   = {2025}
}