English
Related papers

Related papers: Duality theory for enriched Priestley spaces

200 papers

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 show how Stone duality can be extended from maps to relations. This is achieved by working order enriched and defining a relation from A to B as both an order-preserving function from the opposite of A times B to the 2-element chain and…

Logic in Computer Science · Computer Science 2021-07-07 Alexander Kurz , Andrew Moshier , Achim Jung

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

A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a…

Logic in Computer Science · Computer Science 2022-09-05 Mai Gehrke , Tomáš Jakl , Luca Reggio

A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a…

Logic in Computer Science · Computer Science 2023-06-22 Mai Gehrke , Tomáš Jakl , Luca Reggio

The notion of support provides an analogue of Stone duality, relating lattices to topological spaces. This note aims to explain in lattice theoretic terms what has been developed in the context of triangulated categories. In particular, the…

Category Theory · Mathematics 2023-07-25 Henning Krause

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

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

A convexity space is a set X with a chosen family of subsets (called convex subsets) that is closed under arbitrary intersections and directed unions. There is a lot of interest in spaces that have both a convexity space and a topological…

Category Theory · Mathematics 2026-05-06 Toby Kenney

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

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

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

We describe a duality for quantale-enriched categories that extends the Lawson duality for continuous dcpos: for any saturated class J of modules that commute with certain weighted limits, and under an appropriate choice of morphisms, the…

Category Theory · Mathematics 2010-12-16 Dirk Hofmann , Pawel Waszkiewicz

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

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

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

Profinite algebras are the residually finite compact algebras; their underlying topological spaces are Stone spaces. We extend the theory of profinite algebras to a more general setting of Stone topological algebras. We introduce Stone…

Logic · Mathematics 2024-09-25 Jorge Almeida , Ondřej Klíma
‹ Prev 1 2 3 10 Next ›