English
Related papers

Related papers: Duality for Normal Lattice Expansions and Sorted, …

200 papers

Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…

Logic · Mathematics 2023-11-08 Robert Goldblatt

We establish a topological duality for bounded lattices. The two main features of our duality are that it generalizes Stone duality for bounded distributive lattices, and that the morphisms on either side are not the standard ones. A…

Logic · Mathematics 2013-09-13 Mai Gehrke , Sam Van Gool

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 connect Priestley duality for distributive lattices and its generalization to distributive meet-semilattices to Hofmann-Mislove-Stralka duality for semilattices. Among other things, this involves consideration of various morphisms…

Logic · Mathematics 2024-11-25 Guram Bezhanishvili , Luca Carai , Patrick Morandi

We display a family of Stone-type dualities linking categories of frames carrying pairs of modal operators to categories of spaces carrying a binary relation. Different notions of morphism used on the relational side lead to significant…

Category Theory · Mathematics 2026-04-23 Matthew Collinson

There are numerous generalizations of the celebrated Priestley duality for bounded distributive lattices to the non-distributive setting. The resulting dualities rely on an earlier foundational work of such authors as Nachbin,…

Logic · Mathematics 2025-10-15 Guram Bezhanishvili , Luca Carai , Patrick Morandi

This is a survey on selected developments in the theory of natural dualities where the author had the opportunity to make with his foreign colleagues several breakthroughs and move the theory forward. It is aimed as author's reflection on…

Category Theory · Mathematics 2020-01-01 Miroslav Haviar

We introduce a general framework for generating dualities between categories of partial orders and categories of ordered Stone spaces; we recover in particular the classical Priestley duality for distributive lattices and establish several…

Category Theory · Mathematics 2012-03-14 Olivia Caramello

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

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

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

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

This is the last in a series of three notes on an investigation into core regular double Stone algebras, CRDSA, which are meant to be read in order. This note ends our initial investigation of duality for CRDSA through bi-topological…

Rings and Algebras · Mathematics 2018-09-25 Daniel J. Clouse

This note reformulates certain classical combinatorial duality theorems in the context of order lattices. For source-target networks, we generalize bottleneck path-cut and flow-cut duality results to edges with capacities in a distributive…

Optimization and Control · Mathematics 2024-10-02 Robert Ghrist , Julian Gould , Miguel Lopez

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

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

In this paper, a subclass of bounded distributive lattices, that is, finitely disjunctive distributive lattices (FDD-lattices) have been introduced. Then we apply it to establish a Stone duality for Lawson compact algebraic L-domains.…

General Topology · Mathematics 2026-02-16 Huijun Hou , Ao Shen

In this document, we study the Stone's duality theorem in the form proposed by Acosta, Balbes, Dwinger and Stone for distributive lattices. Generalice them to the context of general lattices and study some characterization of the…

Logic · Mathematics 2023-12-01 Andrés Ríos

We extend Wallman's classic duality from lattice bases to semilattice subbases and from compact to locally closed compact spaces. Moreover, we make this duality functorial via appropriate relational morphisms.

General Topology · Mathematics 2020-09-24 Tristan Bice , Wiesław Kubiś

The theory of natural dualities provides a well-developed framework for studying Stone-like dualities induced by an algebra $\mathbf{L}$ which acts as a dualizing object when equipped with suitable topological and relational structure. The…

Logic · Mathematics 2025-05-19 Marco Abbadini , Adam Přenosil
‹ Prev 1 2 3 10 Next ›