English
Related papers

Related papers: A dualizing object approach to non-commutative Sto…

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 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

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

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

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

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

Extensions of Stone-type dualities have a long history in algebraic logic and have also been instrumental in proving results in algebraic language theory. We show how to extend abstract categorical dualities via monoidal adjunctions,…

Formal Languages and Automata Theory · Computer Science 2025-10-15 Fabian Lenke , Henning Urbat , Stefan Milius

We describe right-hand skew Boolean algebras in terms of a class of presheaves of sets over Boolean algebras called Boolean sets, and prove a duality theorem between Boolean sets and etale spaces over Boolean spaces.

Category Theory · Mathematics 2013-03-26 Ganna Kudryavtseva , Mark V Lawson

Stone duality establishes a contravariant equivalence between the category of Boolean algebras and the category of compact, Hausdorff, totally disconnected topological spaces (Stone spaces). These spaces are precisely the profinite spaces…

General Topology · Mathematics 2026-01-15 J. R. Pérez-Buendía

Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion…

Logic · Mathematics 2013-09-13 Mai Gehrke

A common feature of many duality results is that the involved equivalence functors are liftings of hom-functors into the two-element space resp. lattice. Due to this fact, we can only expect dualities for categories cogenerated by the…

Category Theory · Mathematics 2017-04-03 Dirk Hofmann , Pedro Nora

We establish a natural duality between the category of involutive bisemilattices and the category of semilattice inverse systems of Stone spaces, using Stone duality from one side and the representation of involutive bisemilattices as…

Logic · Mathematics 2017-11-10 Stefano Bonzio , Andrea Loi , Luisa Peruzzi

We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on $\mathsf{Set}$; and (ii) the category of internal categories and internal retrofunctors in the category of locales. The left adjoint takes a…

Logic in Computer Science · Computer Science 2026-05-20 Richard Garner , Alyssa Renata , Nicolas Wu

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

Classic work of Pierce and Dauns-Hofmann shows that biregular rings are dual to simple ring bundles over Stone spaces. We extend this duality to Steinberg rings, a purely algebraic generalisation of Steinberg algebras, and ringoid bundles…

Rings and Algebras · Mathematics 2023-03-24 Tristan Bice

Recently in \cite{FM, FlMo}, the language of MV-algebras was extended by adding a unary operation, an internal operator, called also a state-operator. In \cite{DD1}, a stronger version of state MV-algebras, called state-morphism MV-algebras…

Functional Analysis · Mathematics 2010-06-11 Antonio Di Nola , Anatolij Dvurecenskij , Ada Lettieri

We extend Stone duality to a fully faithful embedding of condensed sets into fpqc sheaves over an arbitrary field, which preserves colimits and finite limits. We study how familiar notions from condensed mathematics/topology and algebraic…

Algebraic Geometry · Mathematics 2024-01-08 Rok Gregoric

This is the first in a series of papers that deals with duality statements such as Mukai-duality (T-duality, from algebraic geometry) and the Baum-Connes conjecture (from operator $K$-theory). These dualities are expressed in terms of…

Quantum Algebra · Mathematics 2009-07-27 Jonathan Block

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

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
‹ Prev 1 2 3 10 Next ›