English
Related papers

Related papers: A non-commutative Priestley duality

200 papers

For an arbitrary dynamical system there is a strong relationship between global dynamics and the order structure of an appropriately constructed Priestley space. This connection provides an order-theoretic framework for studying global…

Dynamical Systems · Mathematics 2024-07-22 William Kalies , Robert Vandervorst

In this paper we prove some new Stone-type duality theorems for some subcategories of the category $\ZLC$ of locally compact zero-dimensional Hausdorff spaces and continuous maps. These theorems are new even in the compact case. They…

General Topology · Mathematics 2009-07-14 Georgi Dimov

Szlach\'anyi's skew monoidal categories are a well-motivated variation of monoidal categories in which the unitors and associator are not required to be natural isomorphisms, but merely natural transformations in a particular direction. We…

Logic in Computer Science · Computer Science 2020-03-12 Tarmo Uustalu , Niccolò Veltri , Noam Zeilberger

We introduce a notion of Homological Projective Duality for smooth algebraic varieties in dual projective spaces, a homological extension of the classical projective duality. If algebraic varieties $X$ and $Y$ in dual projective spaces are…

Algebraic Geometry · Mathematics 2007-05-23 Alexander Kuznetsov

We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic. This duality builds on the Hofmann, Mislove and Stralka…

Logic · Mathematics 2023-12-01 Nick Bezhanishvili , Anna Dmitrieva , Jim de Groot , Tommaso Moraschini

Monoidal closed categories naturally model NMILL, non-commutative multiplicative intuitionistic linear logic: the monoidal unit and tensor interpret the multiplicative verum and conjunction; the internal hom interprets linear implication.…

Logic in Computer Science · Computer Science 2022-04-15 Tarmo Uustalu , Niccolò Veltri , Cheng-Syuan Wan

We prove that the category of continuous lattices and meet- and directed join-preserving maps is dually equivalent, via the hom functor to $[0,1]$, to the category of complete Archimedean meet-semilattices equipped with a finite…

Category Theory · Mathematics 2024-01-15 Ruiyuan Chen

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…

Logic · Mathematics 2020-06-02 Daniel Rogozin

We consider discontinuous operations of a group $G$ on a contractible $n$-dimensional manifold $X$. Let $E$ be a finite dimensional representation of $G$ over a field $k$ of characteristics 0. Let $\mathcal{E}$ be the sheaf on the quotient…

Algebraic Topology · Mathematics 2009-01-19 F. Grunewald , W. Singhof

In order to study $p$-adic \'etale cohomology of an open subvariety $U$ of a smooth proper variety $X$ over a perfect field of characteristic $p>0$, we introduce new $p$-primary torsion sheaves. It is a modification of the logarithmic de…

Algebraic Geometry · Mathematics 2019-02-20 Uwe Jannsen , Shuji Saito , Yigeng Zhao

We show that a purely algebraic structure, a two-dimensional scattering diagram, describes a large part of the wall-crossing behavior of moduli spaces of Bridgeland semistable objects in the derived category of coherent sheaves on…

Algebraic Geometry · Mathematics 2025-09-30 Pierrick Bousseau

We construct a semiorthogonal decomposition of the derived category of coherent sheaves on a quadric fibration consisting of several copies of the derived category of the base of the fibration and the derived category of coherent sheaves of…

Algebraic Geometry · Mathematics 2007-05-23 Alexander Kuznetsov

Binary operations on algebras of observables are studied in the quantum as well as in the classical case. It is shown that certain natural compatibility conditions with the associative product imply the properties which usually are…

Differential Geometry · Mathematics 2007-05-23 Janusz Grabowski , Giuseppe Marmo

Anyone who has ever worked with a variety~$\boldsymbol{\mathscr{A}}$ of algebras with a reduct in the variety of bounded distributive lattices will know a restricted Priestley duality when they meet one---but until now there has been no…

Category Theory · Mathematics 2016-05-27 Brian A. Davey , Asha Gair

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.…

Rings and Algebras · Mathematics 2018-09-25 Daniel J. Clouse

We introduce a new point of view to present classical notions related to set-theoretic solutions of the Yang-Baxter equation: left skew braces, dirings, left skew rings. The idea is to replace the single multiplication on a left near-ring…

Rings and Algebras · Mathematics 2026-03-18 Alberto Facchini

Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the…

Category Theory · Mathematics 2016-10-26 Cecilia Flori , Tobias Fritz

Classic work of Pierce and Dauns-Hofmann shows that biregular rings are dual to simple ring bundles over Stone spaces. We extend this duality to Steinberg rings, a purely algebraic generalisation of Steinberg algebras, and ringoid bundles…

Rings and Algebras · Mathematics 2023-03-24 Tristan Bice

Contextuality is widely regarded as a hallmark of quantum information, yet its structural origin is often obscured by probabilistic or operational formulations. In this work, we show that non-distributive orthomodular structure need not be…

Quantum Physics · Physics 2026-03-25 Yukio-Pegio Gunji , Yoshihiko Ohzawa , Yuki Tokuyama , Yu Huang , Kyoko Nakamura

The skew monoidal categories of Szlach\'anyi are a weakening of monoidal categories where the three structural laws of left and right unitality and associativity are not required to be isomorphisms but merely transformations in a particular…

Logic in Computer Science · Computer Science 2021-01-27 Tarmo Uustalu , Niccolò Veltri , Noam Zeilberger