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. © 2014 Springer-Verlag.
CITATION STYLE
Heunen, C. (2014). Piecewise Boolean algebras and their domains. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8573 LNCS, pp. 208–219). Springer Verlag. https://doi.org/10.1007/978-3-662-43951-7_18
Mendeley helps you to discover research relevant for your work.