English
Related papers

Related papers: Stone Duality Type Theorems for MV-algebras with I…

200 papers

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

We extend Yosida's 1941 version of Stone-Gelfand duality to metrically complete unital lattice-ordered groups that are no longer required to be real vector spaces. This calls for a generalised notion of compact Hausdorff space whose points…

Functional Analysis · Mathematics 2024-11-27 Marco Abbadini , Vincenzo Marra , Luca Spada

We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial…

Logic · Mathematics 2023-07-24 Wesley Fussner , Mai Gehrke , Sam van Gool , Vincenzo Marra

Stone's representation theorem asserts a duality between Boolean algebras on the one hand and Stone space, which are compact, Hausdorff, and totally disconnected, on the other. This duality implies a natural isomorphism between the…

Geometric Topology · Mathematics 2025-08-12 Beth Branman , Robert Alonzo Lyman

We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new dualities are introduced. In fact, infinitely many new…

Category Theory · Mathematics 2011-04-06 Olivia Caramello

In this paper, we use the tools of nonabelian duality to formulate and prove a far-reaching generalization of the Stone-von Neumann Theorem to modular representations of actions and coactions of locally compact groups on elementary $…

Operator Algebras · Mathematics 2022-06-22 Lucas Hall , Leonard Huang , John Quigg

It is a classic result in modal logic that the category of modal algebras is dually equivalent to the category of descriptive frames. The latter are Kripke frames equipped with a Stone topology such that the binary relation is continuous.…

General Topology · Mathematics 2020-08-14 Guram Bezhanishvili , Luca Carai , Patrick Morandi

In this paper, we formulate and prove a version of the Stone-von Neumann Theorem for every $ C^{\ast} $-dynamical system of the form $ (G,\mathbb{K}(\mathcal{H}),\alpha) $, where $ G $ is a locally compact Hausdorff abelian group and $…

Mathematical Physics · Physics 2020-02-19 Leonard Huang , Lara Ismert

Propounding a general categorical framework for the extension of dualities, we present a new proof of the de Vries Duality Theorem for the category $\bf KHaus$ of compact Hausdorff spaces and their continuous maps, as an extension of a…

General Topology · Mathematics 2020-08-04 G. Dimov , E. Ivanova-Dimova , W. Tholen

In this paper some applications of the methods and results of its first part and of the results of M. Stone, H. de Vries, P. Roeper are given. In particular: some generalizations of the Stone Duality Theorem are obtained; a completion…

General Topology · Mathematics 2009-08-10 Georgi Dimov

MV-algebras were introduced by Chang to prove the completeness of the infinite-valued Lukasiewicz propositional calculus. In this paper we give a categorical equivalence between the varieties of (n+1)-valued MV-algebras and the classes of…

Logic · Mathematics 2015-08-25 Marina Lattanzi , Alejandro Petrovich

Extending the Stone Duality Theorem, we prove two duality theorems for the category ZHaus of zero-dimensional Hausdorff spaces and continuous maps. Both of them imply easily the Tarski Duality Theorem, as well as two new duality theorems…

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

We characterize those algebras over a disconnected uniformly complete topological field which are representable as algebras of continuous functions on compact topological spaces, generalizing thus Gelfand duality for non-archimedean normed…

General Topology · Mathematics 2025-10-09 Sebastián Rodríguez , Xavier Caicedo

De Vries duality yields a dual equivalence between the category of compact Hausdorff spaces and a category of complete Boolean algebras with a proximity relation on them, known as de Vries algebras. We extend de Vries duality to completely…

General Topology · Mathematics 2018-04-11 Guram Bezhanishvili , Patrick J. Morandi , Bruce Olberding

In this paper, some properties and applications of MV-algebras are provided. We define a Fibonacci sequence in an MV-algebra and we prove that such a stationary sequence gives us an idempotent element. Taking into account of the…

Rings and Algebras · Mathematics 2020-01-14 Cristina Flaut

We prove that double dualization into the generic algebra for an algebraic theory has some Gelfand- or Stone- duality properties

Category Theory · Mathematics 2014-12-23 Anders Kock

We dualize a construction of Aguzzoli-Flaminio-Ugolini of a large class of MTL-algebras from ordered quadruples consisting of a Boolean algebra, a generalized MTL-algebra, and two maps parameterizing the connection between these pieces. Our…

Logic · Mathematics 2021-06-09 Wesley Fussner , Sara Ugolini

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

Working jointly in the equivalent categories of MV-al\-ge\-bras and lattice-ordered abelian groups with strong order unit (for short, unital $\ell$-groups), we prove that isomorphism is a sufficient condition for a separating subalgebra $A$…

Logic · Mathematics 2013-12-31 L. M. Cabrer , D. Mundici

We investigate some subtle and interesting phenomena in the duality theory of operator spaces and operator algebras. In particular, we give several applications of operator space theory, based on the surprising fact that certain maps are…

Operator Algebras · Mathematics 2007-05-23 David P. Blecher , Bojan Magajna