Piecewise Boolean algebras and their domains
Logic in Computer Science
2014-07-15 v1 Logic
Abstract
We characterise piecewise Boolean domains, that is, those domains that arise as Boolean subalgebras of a piecewise Boolean algebra. This leads to equivalent descriptions of the category of piecewise Boolean algebras: either as piecewise Boolean domains equipped with an orientation, or as full structure sheaves on piecewise Boolean domains.
Cite
@article{arxiv.1404.6277,
title = {Piecewise Boolean algebras and their domains},
author = {Chris Heunen},
journal= {arXiv preprint arXiv:1404.6277},
year = {2014}
}
Comments
11 pages