English
Related papers

Related papers: A Stone-type duality for semilattices with adjunct…

200 papers

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

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

Part I proved that for every quasivariety K of structures (which may have both operations and relations) there is a semilattice S with operators such that he lattice of quasi-equational theories of K (the dual of the lattice of…

Rings and Algebras · Mathematics 2012-12-06 Kira Adaricheva , J. B. Nation

A specialization semilattice is a semilattice together with a coarser preorder satisfying a compatibility condition. We show that the category of specialization semilattices is isomorphic to the category of semilattices with a congruence,…

Rings and Algebras · Mathematics 2025-07-14 Paolo Lipparini

In continuous first-order logic, the union of definable sets is definable but generally the intersection is not. This means that in any continuous theory, the collection of $\varnothing$-definable sets in one variable forms a…

Logic · Mathematics 2023-02-07 James Hanson

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

We revisit the problem of Stone duality for lattices with various quasioperators, first studied in [14], presenting a fresh duality result. The new result is an improvement over that of [14] in two important respects. First, the…

Logic · Mathematics 2024-12-22 Chrysafis Hartonas

We define Stone $\delta$-rings as a new class of $\delta$-rings. Via Stone duality, we shows that $\delta$-rings relates light condensed mathematics, which is developed by Clausen-Scholze. Also, we examine some phenomena for this…

Algebraic Geometry · Mathematics 2025-05-20 Yuto Yamada

Two kinds of the connective implication are introduced as term operations of a pseudocomplemented lattice. It is shown that they share a lot of properties with the intuitionistic implication based on Heyting algebras. In particular, if the…

Logic · Mathematics 2024-01-12 Ivan Chajda , Helmut Länger

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 investigate which weighted convolution algebras $\ell^1_\omega(S)$, where $S$ is a semilattice, are AMNM in the sense of Johnson (JLMS, 1986). We give an explicit example where this is not the case. We show that the unweighted examples…

Functional Analysis · Mathematics 2013-11-13 Yemon Choi

The main goal of this paper is to investigate strong duality of non-convex semidefinite programming problems (SDPs). In the optimization community, it is well-known that a convex optimization problem satisfies strong duality if the Slater's…

Optimization and Control · Mathematics 2024-08-23 Donghwan Lee

We formulate a fracton-elasticity duality for twisted moir\'e superlattices, taking into account that they are incommensurate crystals with dissipative phason dynamics. From a dual tensor-gauge formulation, as compared to standard crystals,…

Strongly Correlated Electrons · Physics 2021-08-17 Jonas Gaa , Grgur Palle , Rafael M. Fernandes , Jörg Schmalian

A hemiimplicative semilattice is a bounded semilattice $(A, \wedge, 1)$ endowed with a binary operation $\to$, satisfying that for every $a, b, c \in A$, $a \leq b \to c$ implies $a \wedge b \leq c$ (that is to say, one of the conditionals…

Logic · Mathematics 2016-11-30 José Luis Castiglioni , Hernán Javier San Martín

We devise exact conditions under which a join semilattice with a weak contact relation can be semilattice embedded into a Boolean algebra with an overlap contact relation, equivalently, into a distributive lattice with additive contact…

Logic · Mathematics 2023-09-01 Paolo Lipparini

We investigate endomorphism semirings of a finite semilattice with one least element and one greatest element such that all the other elements form an antichain. We construct some new finite simple semirings. Keywords: endomorphism…

Rings and Algebras · Mathematics 2013-01-15 Ivan Trendafilov

This paper introduces the tensor representation of a network, here tensors are the primitive structures of the network. In view of tensor chains, two binary operations on tensor sets are defined: chain addition and reducing. Based on the…

Rings and Algebras · Mathematics 2022-03-15 Yanhui Wang , Dazhi Meng

We attach to each $\langle 0, \vee \rangle$-semilattice a graph $\boldsymbol{G}_{\boldsymbol{S}}$ whose vertices are join-irreducible elements of $\boldsymbol{S}$ and whose edges correspond to the reflexive dependency relation. We study…

Combinatorics · Mathematics 2017-01-12 Pavel Růžička

We consider rectangular graph superlattices of sides l1, l2 with the wavefunction coupling at the junctions either of the delta type, when they are continuous and the sum of their derivatives is proportional to the common value at the…

Condensed Matter · Physics 2016-08-31 Pavel Exner , Ralf Gawlista

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