English
Related papers

Related papers: Duality Theory for Bounded Lattices: A Comparative…

200 papers

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

The ordering relation of a bounded distributive lattice L is a (distributive) (0, 1)-sublattice of L \times L. This construction gives rise to a functor \Phi from the category of bounded distributive lattices to itself. We examine the…

Logic · Mathematics 2007-05-29 Michel Krebs , Dominic van der Zypen

This paper provides a fresh perspective on the representation of distributive bilattices and of related varieties. The techniques of naturalduality are employed to give, economically and in a uniform way, categories ofstructures dually…

Rings and Algebras · Mathematics 2014-01-16 L. M. Cabrer , H. A. Priestley

There are several prominent duality results in pointfree topology. The Hofmann-Lawson duality establishes that the category of continuous frames is dually equivalent to the category of locally compact sober spaces. This restricts to a dual…

General Topology · Mathematics 2024-04-23 G. Bezhanishvili , S. Melzer

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

This paper presents a novel treatment of the canonical extension of a bounded lattice, in the spirit of thetheory of natural dualities. At the level of objects, this can be achieved by exploiting the topological representation due to M.…

Rings and Algebras · Mathematics 2013-08-23 A. P. K. Craig , M. Haviar , H. A. Priestley

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

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

We first present a Priestley-style dualitiy for the classes of algebras that are the algebraic counterpart of some congruential, finitary and filter-distributive logic with theorems. Then we analyze which properties of the dual spaces…

Logic · Mathematics 2025-10-14 María Esteban , Ramon Jansana

We prove that the category of left-handed strongly distributive skew lattices with zero and proper homomorphisms is dually equivalent to a category of sheaves over local Priestley spaces. Our result thus provides a non-commutative version…

Rings and Algebras · Mathematics 2015-03-12 Andrej Bauer , Karin Cvetko-Vah , Mai Gehrke , Sam van Gool , Ganna Kudryavtseva

This paper fills a gap in the literature on natural duality theory. It concerns dual representations of categories of distributive-lattice-based algebras in which the lattice reducts are not assumed to have bounds. The development of theory…

Rings and Algebras · Mathematics 2020-02-18 Leonardo M. Cabrer , Hilary A. Priestley

We develop a new duality for distributive and implicative meet semi-lattices. For distributive meet semi-lattices our duality generalizes Priestley's duality for distributive lattices and provides an improvement of Celani's duality. Our…

Logic · Mathematics 2024-11-01 Guram Bezhanishvili , Ramon Jansana

This book is a course in Stone-Priestley duality theory, with applications to logic and theoretical computer science. Our target audience are graduate students and researchers in mathematics and computer science. Our aim is to get in a…

Logic · Mathematics 2023-04-06 Mai Gehrke , Sam van Gool

The term Stone-type duality often refers to a dual equivalence between a category of lattices or other partially ordered structures on one side and a category of topological structures on the other. This paper is part of a larger endeavour…

Category Theory · Mathematics 2020-09-07 Dirk Hofmann , Pedro Nora

We utilize the Bruns-Lakser completion to introduce Bruns-Lakser towers of a meet-semilattice. This machinery enables us to develop various hierarchies inside the class of bounded distributive lattices, which measure $\kappa$-degrees of…

Logic · Mathematics 2025-03-26 G. Bezhanishvili , F. Dashiell , M. A. Moshier , J. Walters-Wayland

We extend Priestley Duality to suitable categories of fuzzy topological spaces and ordered algebraic structures that generalize bounded distributive lattices. The duality we prove extends not only classical Priestley Duality between…

Category Theory · Mathematics 2026-04-17 Marby Zuley Bolaños Ortiz , Ciro Russo

Birkhoff's 1937 dual representation of finite distributive lattices via finite posets was in 1970 extended to a dual representation of arbitrary distributive lattices via compact totally order-disconnected topological spaces by Priestley.…

Rings and Algebras · Mathematics 2026-04-07 Andrew Craig , Miroslav Haviar , José São João

Using Sheaf duality theory of Comer for cylindric algebras, we give a representation theorem of of distributive bounded lattices expanded by modalities (functions distributing over joins) as the continuous sections of sheaves. Our…

Logic · Mathematics 2013-04-03 Tarek Sayed Ahmed

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

We develop dualities for complete perfect distributive quasi relation algebras and complete perfect distributive involutive FL-algebras. The duals are partially ordered frames with additional structure. These frames are analogous to the…

Logic in Computer Science · Computer Science 2026-01-30 Andrew Craig , Peter Jipsen , Claudette Robinson
‹ Prev 1 2 3 10 Next ›