English
Related papers

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

200 papers

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

In this paper we provide a Stone style duality for monotone semilattices by using the topological duality developed in \cite{Celani2020} for semilattices together with a topological description of their canonical extension. As an…

Logic · Mathematics 2021-09-07 Ismael Calomino , Paula Menchón , William J. Zuluaga Botero

The natural join and the inner union combine in different ways tables of a relational database. Tropashko [18] observed that these two operations are the meet and join in a class of lattices-called the relational lattices- and proposed…

Logic in Computer Science · Computer Science 2016-02-29 Luigi Santocanale

Dualization of a monotone Boolean function on a finite lattice can be represented by transforming the set of its minimal 1 to the set of its maximal 0 values. In this paper we consider finite lattices given by ordered sets of their meet and…

Logic in Computer Science · Computer Science 2015-12-31 Mikhail A. Babin , Sergei O. Kuznetsov

We introduce a new approach to the description of multi-sorted clones (sets of $k$-tuples of operations of the same arity, closed under coordinatewise composition and containing all projection tuples) on a two-element domain. Leveraging the…

Logic · Mathematics 2025-12-02 Vojtěch David , Dmitriy Zhuk

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

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

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

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

In the 1950s and 1960s Tate proved some duality theorems in the Galois cohomology of finite modules and abelian varieties. As for most of Tate's work this has had a profound influence on mathematics with many applications and further…

Number Theory · Mathematics 2025-12-03 James S. Milne

In order theory, partially ordered sets are only equipped with one relation which decides the entire structure/Hasse diagram of the set. In this paper, we have presented how partially ordered sets can be studied under simultaneous partially…

General Mathematics · Mathematics 2023-07-03 Omprakash Atale

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

Constructive dualities have been recently proposed for some lattice based algebras and a related project has been outlined by Holliday and Bezhanishvili, aiming at obtaining "choice-free spatial dualities for other classes of algebras…

Logic · Mathematics 2024-04-03 Chrysafis Hartonas

For an arbitrary partially ordered set $P$ its {\em dual} $P^*$ is built as the collection of all monotone mappings $P\to\2$ where $\2=\{0,1\}$ with $0<1$. The set of mappings $P^*$ is proved to be a complete lattice with respect to the…

Category Theory · Mathematics 2007-05-23 Roman R. Zapatrin

It is, by now, classical that lattices in higher rank semisimple groups have various rigidity properties. In this work, we add another such rigidity property to the list: uniform stability with respect to the family of unitary operators on…

Group Theory · Mathematics 2023-07-11 Lev Glebsky , Alexander Lubotzky , Nicolas Monod , Bharatram Rangarajan

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

We present a contravariant reflection of the compact $T_1$-spaces with arrows given by closed continuous functions into the category of bounded distributive lattices with arrows given by closed subfit morphisms. This reflection extends both…

General Topology · Mathematics 2025-08-20 Mai Gehrke , Elena Pozzan , Matteo Viale

It is well-known that all Feynman integrals within a given family can be expressed as a finite linear combination of master integrals. The master integrals naturally group into sectors. Starting from two loops, there can exist sectors made…

High Energy Physics - Theory · Physics 2025-06-25 Sebastian Pögel , Xing Wang , Stefan Weinzierl , Konglong Wu , Xiaofeng Xu

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

A new class of integrable maps, obtained as lattice versions of polynomial dynamical systems is introduced. These systems are obtained by means of a discretization procedure that preserves several analytic and algebraic properties of a…

Dynamical Systems · Mathematics 2013-06-18 Piergiulio Tempesta