English
Related papers

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

200 papers

This second part comes to the construction of the spectrum associated to a situation of multi-adjunction. Exploiting a geometric understanding of its multi-versal property, the spectrum of an object is obtained as the spaces of local units…

Category Theory · Mathematics 2021-04-07 Axel Osmond

The unique properties of topological semimetals have strongly driven efforts to seek for new topological phases and related materials. Here, we identify a critical condition for the existence of linked nodal rings (LNRs) in symmorphic…

Materials Science · Physics 2018-03-30 Cheng Gong , Yuee Xie , Yuanping Chen , Heung-sik Kim , David Vanderbilt

The present paper investigates a natural generalization of the duality between Riemannian symmetric pairs of compact type and those of non-compact type \`a la \'E. Cartan. The main result of this paper is to construct an explicit…

Representation Theory · Mathematics 2021-03-26 Kurando Baba , Osamu Ikawa , Atsumu Sasaki

The ${\ell}^1$-convolution algebra of a semilattice is known to have trivial cohom ology in degrees 1,2 and 3 whenever the coefficient bimodule is symmetric. We ex tend this result to all cohomology groups of degree $\geq 1$ with symmetric…

Functional Analysis · Mathematics 2008-11-03 Yemon Choi

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

A sectionally pseudocomplemented poset P is one which has the top element and in which every principal order filter is a pseudocomplemented poset. The sectional pseudocomplements give rise to an implication-like operation on P which…

Logic · Mathematics 2013-01-07 J\{=}anis C\=ırulis

Recently in \cite{FM, FlMo}, the language of MV-algebras was extended by adding a unary operation, an internal operator, called also a state-operator. In \cite{DD1}, a stronger version of state MV-algebras, called state-morphism MV-algebras…

Functional Analysis · Mathematics 2010-06-11 Antonio Di Nola , Anatolij Dvurecenskij , Ada Lettieri

There have recently been several developments in synthetic mathematics using extensions of dependent type theory with univalence and higher inductive types: simplicial homotopy type theory, synthetic algebraic geometry and synthetic Stone…

Logic in Computer Science · Computer Science 2026-05-19 Thierry Coquand , Jonas Höfer , Christian Sattler

We investigate the spectral properties of a quasi-one-dimensional lattice in two possible dimerisation configurations. Both configurations are characterized by the same lattice topology and the identical spectra containing a flat band at…

Mesoscale and Nanoscale Physics · Physics 2017-09-19 D. Bercioux , O. Dutta , E. Rico

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

The Swing Lemma of the second author describes how a congruence spreads from a prime interval to another in a slim (having no $M_3$ sublattice), planar, semimodular lattice. We generalize the Swing Lemma to planar semimodular lattices.

Rings and Algebras · Mathematics 2022-08-04 Gábor Czédli , George Grätzer , Harry Lakser

In this paper, we define the adjacency matrix of a semigraph. We give the conditions for a matrix to be semigraphical and give an algorithm to construct a semigraph from the semigraphical matrices. We derive lower and upper bounds for…

Spectral Theory · Mathematics 2022-05-03 Pralhad M. Shinde

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

We apply Stone duality and model theory to study the structure theory of free pro-aperiodic monoids. Stone duality implies that elements of the free pro-aperiodic monoid may be viewed as elementary equivalence classes of pseudofinite words.…

Formal Languages and Automata Theory · Computer Science 2017-08-30 Samuel J. v. Gool , Benjamin Steinberg

A topologized semilattice $X$ is called complete if each non-empty chain $C\subset X$ has $\inf C$ and $\sup C$ that belong to the closure $C$ of the chain $C$ in $X$. In this paper, we introduce various concepts of completeness of…

Rings and Algebras · Mathematics 2021-08-19 Konstantin Kazachenko , Alexander V. Osipov

This chapter describes interrelations between: (1) algebraic structure on sets of scalars, (2) properties of monads associated with such sets of scalars, and (3) structure in categories (esp. Lawvere theories) associated with these monads.…

Rings and Algebras · Mathematics 2011-11-01 Dion Coumans , Bart Jacobs

Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the construction of a filter model isomorphic to a given…

Logic in Computer Science · Computer Science 2026-03-05 Mariangiola Dezani-Ciancaglini , Besik Dundua , Paola Giannini , Furio Honsell

We predict a rich excitation spectrum of a binary dipolar supersolid in a linear crystal geometry, where the ground state consists of two partially immiscible components with alternating, interlocking domains. We identify three Goldstone…

Quantum Gases · Physics 2024-09-06 W. Kirkby , Au-Chen Lee , D. Baillie , T. Bland , F. Ferlaino , P. B. Blakie , R. N. Bisset

We study how the existence in an algebraic lattice $L$ of a chain of a given type is reflected in the join-semilattice $K(L)$ of its compact elements. We show that for every chain $\alpha$ of size $\kappa$, there is a set $\B$ of at most…

Combinatorics · Mathematics 2008-12-12 Ilham Chakir , Maurice Pouzet

I review motivations for the study of supersymmetric field theories by lattice techniques. In particular, some of the more interesting potential applications are described. These are models of quantum gravity, that rely on the AdS/CFT…

High Energy Physics - Lattice · Physics 2008-11-26 Joel Giedt
‹ Prev 1 4 5 6 7 8 10 Next ›