Piecewise Boolean algebras and their domains
arXiv:1404.6277 · doi:10.1007/978-3-662-43951-7_18
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.
11 pages