English
Related papers

Related papers: Boolean sets, skew Boolean algebras and a non-comm…

200 papers

We extend Stone duality between generalized Boolean algebras and Boolean spaces, which are the zero-dimensional locally-compact Hausdorff spaces, to a non-commutative setting. We first show that the category of right-handed skew Boolean…

Rings and Algebras · Mathematics 2016-04-11 Andrej Bauer , Karin Cvetko-Vah

We establish two duality theorems which refine the classical Stone duality between generalized Boolean algebras and locally compact Boolean spaces. In the first theorem we prove that the category of left-handed skew Boolean algebras whose…

Rings and Algebras · Mathematics 2015-03-18 Ganna Kudryavtseva

Skew Boolean algebras (skew BA) and Boolean-like algebras (nBA) are one-pointed and n-pointed noncommutative generalisation of Boolean algebras, respectively. We show that any nBA is a cluster of n isomorphic right-handed skew BAs,…

Logic · Mathematics 2019-05-30 Antonio Bucciarelli , Antonino Salibra

We show explicitly that Boolean inverse semigroups are in duality with what we term Boolean groupoids. This generalizes the classical Stone duality, which we refer to as commutative Stone duality, between generalized Boolean algebras and…

Category Theory · Mathematics 2022-08-02 Mark V. Lawson

In this note we shall generalize the Stone duality between compact totally disconnected spaces and Boolean algebras to a duality between all complete non-Archimedean uniform spaces and Boolean algebras.

General Topology · Mathematics 2011-05-12 Joseph Van Name

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…

Logic in Computer Science · Computer Science 2014-07-15 Chris Heunen

The aim of the present paper is to extend the dualizing object approach to Stone duality to the non-commutative setting of skew Boolean algebras. This continues the study of non-commutative generalizations of different forms of Stone…

Category Theory · Mathematics 2015-03-12 Ganna Kudryavtseva

In this article we investigate the notion and basic properties of Boolean algebras and prove the Stone's representation theorem. The relations of Boolean algebras to logic and to set theory will be studied and, in particular, a neat proof…

Logic · Mathematics 2011-12-06 Cheng Hao

In the present paper we generalize the notion of a Heyting algebra to the non-commutative setting and hence introduce what we believe to be the proper notion of the implication in skew lattices. We list several examples of skew Heyting…

Rings and Algebras · Mathematics 2016-04-22 Karin Cvetko-Vah

We introduce quantum Boolean algebras which are the analogue of the Weyl algebras for Boolean affine spaces. We study quantum Boolean algebras from the logical and set theoretical viewpoints.

Quantum Algebra · Mathematics 2017-11-10 Rafael Diaz

From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…

Logic · Mathematics 2013-07-01 Steve Awodey , Henrik Forssell

Scaled Boolean algebras are a category of mathematical objects that arose from attempts to understand why the conventional rules of probability should hold when probabilities are construed, not as frequencies or proportions or the like, but…

Probability · Mathematics 2009-09-29 Michael Hardy

The classical Stone duality associates to each Boolean algebra a topological space consisting of ultrafilters. Lawson's generalisation constructs a dual equivalence of categories of Boolean inverse $\land$-semigroups and Hausdorff ample…

Rings and Algebras · Mathematics 2025-10-09 Roozbeh Hazrat , Zachary Mesyan

We present a Stone duality for bitopological spaces in analogy to the duality between Stone spaces and Boolean algebras, in the same vein as the duality between d-sober bitopological spaces and spatial d-frames established by Jung and…

General Topology · Mathematics 2026-01-27 Hang Yang , Dexue Zhang

We extend the classical Stone duality between zero dimensional compact Hausdorff spaces and Boolean algebras. Specifically, we simultaneously remove the zero dimensionality restriction and extend to \'etale groupoids, obtaining a duality…

Logic · Mathematics 2019-11-19 Tristan Bice , Charles Starling

The notions of a {\em 2-precontact space}\/ and a {\em 2-contact space}\/ are introduced. Using them, new representation theorems for precontact and contact algebras are proved. It is shown that there are bijective correspondences between…

General Topology · Mathematics 2015-11-24 Georgi Dimov , Dimiter Vakarelov

We prove that the category of boolean inverse monoids is dually equivalent to the category of boolean groupoids. This generalizes the classical Stone duality between boolean algebras and boolean spaces. As an instance of this duality, we…

Category Theory · Mathematics 2009-11-17 Mark V Lawson

We introduce two algebras associated with a subshift over an arbitrary alphabet. One is unital and the other not necessarily. We focus on the unital case and describe a conjugacy between Ott-Tomforde-Willis subshifts in terms of a…

Rings and Algebras · Mathematics 2023-12-04 Giuliano Boava , Gilles G. de Castro , Daniel Gonçalves , Daniel W. van Wyk

First we recall homology groups of prer Lie superalgebras. Then introducing double weighted chain spaces, we deal with pre Lie superalgebra of multi-vector fields with polynomial coefficients on n-dimensional number space. The bracket is…

Differential Geometry · Mathematics 2018-12-07 Kentaro Mikami , Tadayoshi Mizutani

We study a non-commutative generalization of Stone duality that connects a class of inverse semigroups, called Boolean inverse $\wedge$-semigroups, with a class of topological groupoids, called Hausdorff Boolean groupoids. Much of the paper…

Category Theory · Mathematics 2012-03-16 Mark V Lawson
‹ Prev 1 2 3 10 Next ›