Piecewise Boolean Algebras and Their Domains

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationAutomata, Languages, and Programming
Subtitle of host publication41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
EditorsJavier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
PublisherSpringer Berlin Heidelberg
Pages208-219
Number of pages12
ISBN (Electronic)978-3-662-43951-7
ISBN (Print)978-3-662-43950-0
DOIs
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume8573
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Piecewise Boolean Algebras and Their Domains'. Together they form a unique fingerprint.

Cite this