相关论文: Distributive envelopes and topological duality for…

In this paper, we study logics of bounded distributive residuated lattices with modal operators considering $\Box$ and $\Diamond$ in a noncommutative setting. We introduce relational semantics for such substructural modal logics. We prove…

In this article we realize T-duality as a geometric transform of bundles of abelian group stacks. The transform applies in the algebro-geometric setting as well as the topological setting, and thus makes precise the link between the models…

We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological…

In this article we investigate the relations between three classes of lattices each extending the class of distributive lattices in a different way. In particular, we consider join-semidistributive, join-extremal and left-modular lattices,…

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…

The intrinsic connection between lattice theory and topology is fairly well established, For instance, the collection of open subsets of a topological subspace always forms a distributive lattice. Persistent homology has been one of the…

Meet-distributive lattices form an intriguing class of lattices, because they are precisely the lattices obtainable from a closure operator with the so-called anti-exchange property. Moreover, meet-distributive lattices are join…

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…

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…

In this paper and its sequel, we construct topologically invariant defects in two-dimensional classical lattice models and quantum spin chains. We show how defect lines commute with the transfer matrix/Hamiltonian when they obey the defect…

This is the second 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 begins our investigation of duality for CRDSA through bi-topological spaces.…

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…

In this article, a new and natural topology on the prime spectrum is established which behaves completely as the dual of the Zariski topology. It is called the flat topology. The basic and also some sophisticated properties of the flat…

We introduce a notion of distributor of sites, involving suited analogs of flatness and cover-preservation, and show that this notion jointly generalizes those of morphism and comorphism of sites. Given two sites, we exhibit an adjunction…

In this note we propose a generalization of heterotic/F-theory duality. We introduce a set of non-compact building blocks which we glue together to reach compact examples of generalized duality pairs. The F-theory building blocks consist of…

Lattices induced by coverings arise naturally in matroid theory and combinatorial optimization, providing a structured framework for analyzing relationships between independent sets and closures. In this paper, we explore the structural…

The space $D'_\Lambda$ of distributions having their $C^\infty$ wavefront set in a cone $\Lambda$ has become important in physics because of its role in the formulation of quantum field theory in curved spacetime. It is also a basic object…

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…

In this paper, we define a property, trimness, for lattices. Trimness is a not-necessarily-graded generalization of distributivity; in particular, if a lattice is trim and graded, it is distributive. Trimness is preserved under taking…

In [Mor], we have introduced a notion of flat laminations on surfaces endowed with a flat structure, similar to geodesic laminations on hyperbolic surfaces. Here is a sequel to this article that aims at defining transversal measures on flat…