English
Related papers

Related papers: Stone duality of Lawson compact algebraic L-domain

200 papers

The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J. Wood on constructive complete distributive lattices where the authors employ elegantly the concepts of adjunction and module in their study of ordered…

Category Theory · Mathematics 2010-09-21 Dirk Hofmann

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

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

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

In this paper, we introduce a class of hypercompositional structures called dualizable L-mosaics. We prove that their category is equivalent to that formed by ortholattices and we formulate an algebraic property characterizing…

Category Theory · Mathematics 2025-12-17 Nicolò Cangiotti , Alessandro Linzi , Enrico Talotti

We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces. In this setting not only morphisms, but also objects may have distinct…

General Topology · Mathematics 2012-06-28 Sam van Gool

In [G. Dimov and E. Ivanova-Dimova, Two extensions of the Stone Duality to the category of zero-dimensional Hausdorff spaces, arXiv:1901.04537v4, 1--33], extending the Stone Duality Theorem, we proved two duality theorems for the category…

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

There are several compactification procedures in topology, but there is only one standard discretization, namely, replacing the original topology with the discrete topology. We give a notion of discretization which is dual (in categorical…

General Topology · Mathematics 2014-12-16 Massoud Amini , Nasser Golestani

The notions of a {\em 2-precontact space}\/ and a {\em 2-contact space}\/ are introduced. Using them, new representation theorems for precontact and contact algebras are proved. It is shown that there are bijective correspondences between…

General Topology · Mathematics 2015-11-24 Georgi Dimov , Dimiter Vakarelov

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

In three recaent papers of G. Dimov, many Stone-type duality theorems for the category of locally compact Hausdorff spaces and continuous maps and some of its subcategories were proved. The dual objects in all these theorems are the local…

General Topology · Mathematics 2014-12-09 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

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

De Vries Duality generalizes Stone duality between Boolean algebras and Stone spaces to a duality between de Vries algebras (complete Boolean algebras equipped with a subordination relation satisfying some axioms) and compact Hausdorff…

Logic · Mathematics 2022-06-28 Guillaume Massas

We present a Stone duality for bitopological spaces in analogy to the duality between Stone spaces and Boolean algebras, in the same vein as the duality between d-sober bitopological spaces and spatial d-frames established by Jung and…

General Topology · Mathematics 2026-01-27 Hang Yang , Dexue Zhang

It is argued in (Eklund et al., 2018) that the quantale [L,L] of sup-preserving endomaps of a complete lattice L is a Girard quantale exactly when L is completely distributive. We have argued in (Santocanale, 2020) that this Girard quantale…

Logic in Computer Science · Computer Science 2021-01-27 Luigi Santocanale

Stone duality is an indispensable tool for the study of compact, zero-dimensional, Hausdorff spaces. In the case of general compact Hausdorff spaces one can get quite a bit of mileage by considering the `Wallman duality' between compact…

Logic · Mathematics 2026-03-12 Ilijas Farah

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

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

A modular or distributive lattice is `diamond-colored' if its order diagram edges are colored in such a way that, within any diamond of edges, parallel edges have the same color. Such lattices arise naturally in combinatorial representation…

Combinatorics · Mathematics 2022-05-10 Robert G. Donnelly