A refinement of Stone duality to skew Boolean algebras (Q451077): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1102.1242 / rank | |||
Normal rank |
Revision as of 13:47, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A refinement of Stone duality to skew Boolean algebras |
scientific article |
Statements
A refinement of Stone duality to skew Boolean algebras (English)
0 references
27 September 2012
0 references
A skew Boolean algebra is a quintuple \((S;\vee ,\wedge ,\setminus , 0)\) where \(S\) is a set, \(\vee ,\) \(\wedge\), \(\setminus\) are binary operations such that \( \vee\) and \(\wedge\) are associative, idempotent and absorption and satisfy \(x\vee y=y\vee x\) if and only if \(x\wedge y=y\wedge x,\) \(x\setminus y\) is a complement of \( x\wedge y\wedge x\) in the principal subalgebra \(x\wedge S\wedge x\), and \(0\) is a nullary operation such that \(x\wedge 0=0\wedge x=0\). A skew Boolean algebra is left-hand if the identity \(x\wedge y\wedge x=x\wedge y\) holds. The natural partial order \(\leq\) on a skew Boolean algebra is defined such that \(x\leq y\) just when \(x\wedge y=y\wedge x=x\). If the natural partial order is a meet-semilattice order then \(\cap\) denotes the binary semilattice operation and \((S;\vee ,\wedge ,\setminus ,\cap ,0)\) is called a skew Boolean \(\cap\)-algebra. It is proved that the category of left-hand skew Boolean algebras and their algebraic homomorphisms is equivalent to the category of étale spaces over locally compact Boolean spaces and their cohomomorphisms over continuous proper mappings, and the category of left-hand skew Boolean \(\cap\)-algebras and their algebraic homomorphisms is equivalent to the category of étale spaces with compact clopen equalizers over locally compact Boolean spaces and their injective cohomomorphisms over continuous proper mappings.
0 references
skew Boolean algebra
0 references
locally compact Boolean space
0 references
Stone duality
0 references
étale space
0 references
cohomomorphism of étale spaces
0 references