A refinement of Stone duality to skew Boolean algebras (Q451077)

From MaRDI portal
Revision as of 00:17, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references