English
Related papers

Related papers: The complex of cuts in a Stone space

200 papers

De Vries Duality generalizes Stone duality between Boolean algebras and Stone spaces to a duality between de Vries algebras (complete Boolean algebras equipped with a subordination relation satisfying some axioms) and compact Hausdorff…

Logic · Mathematics 2022-06-28 Guillaume Massas

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

We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…

Logic · Mathematics 2022-06-15 Célia Borlido , Brett McLean

The paper is a survey of recent results in geometric representation theory describing group actions which induce multiplicity-free representations in the spaces of holomorphic functions. For connected compact Lie groups of automorphisms of…

Representation Theory · Mathematics 2012-03-05 Dmitri Akhiezer

We investigate computable metrizability of Polish spaces up to homeomorphism. In this paper we focus on Stone spaces. We use Stone duality to construct the first known example of a computable topological Polish space not homeomorphic to any…

Logic · Mathematics 2023-11-08 Nikolay Bazhenov , Matthew Harrison-Trainor , Alexander Melnikov

Information algebras arise from the idea that information comes in pieces which can be aggregated or combined into new pieces, that information refers to questions and that from any piece of information, the part relevant to a given…

Information Theory · Computer Science 2021-01-01 Juerg Kohlas , Juerg Schmid

Gelfand-Naimark-Stone duality provides an algebraic counterpart of compact Hausdorff spaces in the form of uniformly complete bounded archimedean $\ell$-algebras. In [4] we extended this duality to completely regular spaces. In this article…

General Topology · Mathematics 2019-05-17 G. Bezhanishvili , P. J. Morandi , B. Olberding

Stone duality is an indispensable tool for the study of compact, zero-dimensional, Hausdorff spaces. In the case of general compact Hausdorff spaces one can get quite a bit of mileage by considering the `Wallman duality' between compact…

Logic · Mathematics 2026-03-12 Ilijas Farah

We introduce the Boolean algebra of d-semialgebraic (more generally, d-definable) sets and prove that its Stone space is naturally isomorphic to the Ellis enveloping semigroup of the Stone space of the Boolean algebra of semialgebraic…

Logic · Mathematics 2024-01-17 Elías Baro , Daniel Palacín

Finite dimensional Stein spaces admitting a proper holomorphic embedding of the complex line are characterized, among all complex spaces, by their holomorphic endomorphism semigroup in the sense that any semigroup isomorphism induces either…

Complex Variables · Mathematics 2011-06-23 Rafael B. Andrist

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 prove three new versions of Stone Duality. The main version is the following: the category of Kolmogorov locally small spaces and bounded continuous mappings is equivalent to the category of spectral spaces with decent lumps and with…

General Topology · Mathematics 2021-09-28 Artur Piękosz

Stone duality generalizes to an equivalence between the categories $\mathsf{Stone}^{\mathsf{R}}$ of Stone spaces and closed relations and $\mathsf{BA}^\mathsf{S}$ of boolean algebras and subordination relations. Splitting equivalences in…

General Topology · Mathematics 2025-01-28 Marco Abbadini , Guram Bezhanishvili , Luca Carai

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 associate an square to any two dimensional evolution algebra. This geometric object is uniquely determined, does not depend on the basis and describes the structure and the behaviour of the algebra. We determine the identities of degrees…

We consider the duality between General Relativity and the theory of Einstein algebras, in the extended setting where one permits non-Hausdorff manifolds. We show that the duality breaks down, and then go on to discuss a sense in which…

History and Philosophy of Physics · Physics 2023-10-24 Jingyi Wu , James Owen Weatherall

Open sets and compact saturated sets enjoy a perfect formal symmetry, at least for classes of spaces such as Stone spaces or spectral spaces. For larger classes of spaces, a perfect symmetry may not be available, although strong signs of it…

Logic · Mathematics 2025-07-25 Marco Abbadini , Achim Jung

We prove a number of dualities between posets and (pseudo)bases of open sets in locally compact Hausdorff spaces. In particular, we show that (1) Relatively compact basic sublattices are finitely axiomatizable. (2) Relatively compact basic…

General Topology · Mathematics 2019-11-19 Tristan Bice , Charles Starling

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

In [G. Dimov and E. Ivanova-Dimova, Two extensions of the Stone Duality to the category of zero-dimensional Hausdorff spaces, arXiv:1901.04537v4, 1--33], extending the Stone Duality Theorem, we proved two duality theorems for the category…

General Topology · Mathematics 2020-10-02 Georgi Dimov , Elza Ivanova-Dimova