A refinement of Stone duality to skew Boolean algebras (Q451077): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Normalize DOI.
 
(5 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00012-012-0192-1 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2134789669 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1102.1242 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Category Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stone Duality for Skew Boolean Algebras with Intersections / rank
 
Normal rank
Property / cites work
 
Property / cites work: Skew Boolean algebras and discriminator varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3125206 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Boolean skew algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Categories of Boolean Lattices, Boolean Rings and Boolean Spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction to Boolean Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3711309 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4769085 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A NONCOMMUTATIVE GENERALIZATION OF STONE DUALITY / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pseudogroups and their étale groupoids. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Skew lattices in rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Skew Boolean algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Normal skew lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recent developments in the theory of skew lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sheaves in geometry and logic: a first introduction to topos theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A groupoid approach to discrete inverse semigroup algebras / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00012-012-0192-1 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 01:53, 9 December 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
    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
    0 references
    0 references