English
Related papers

Related papers: Extended Stone Duality via Monoidal Adjunctions

200 papers

In flowchart languages, predicates play an interesting double role. In the textual representation, they are often presented as conditions, i.e., expressions which are easily combined with other conditions (often via Boolean combinators) to…

Logic in Computer Science · Computer Science 2020-09-25 Robin Kaarsgaard

In the present paper, we study the correspondence and canonicity theory of modal subordination algebras and their dual Stone space with two relations, generalizing correspondence results for subordination algebras in…

Logic · Mathematics 2022-06-14 Zhiguang Zhao

A preordered topological space is a topological space with a preordering. We exhibit a Stone-like duality for preordered topological spaces, Inspired by a similar duality for bitopological spaces, due to Jung-Moshier and Jakl, and by a…

General Topology · Mathematics 2026-01-21 Jean Goubault-Larrecq

We extend the bar-cobar adjunction to operads and properads, not necessarily augmented. Due to the default of augmentation, the objects of the dual category are endowed with a curvature. We handle the lack of augmentation by extending the…

K-Theory and Homology · Mathematics 2011-11-10 Joseph Hirsh , Joan Millès

We prove uniqueness of the essential order for stratified algebras having simple preserving duality, generalizing a recent result of Coulembier for quasi-hereditary algebras. We apply this to classify, up to equivalence, regular integral…

Representation Theory · Mathematics 2022-03-15 Volodymyr Mazorchuk , Elin Persson Westin

This paper provides a compositional approach to Taylor expansion, in the setting of cartesian differential categories. Taylor expansion is captured here by a functor that generalizes the tangent bundle functor to higher order derivatives.…

Logic in Computer Science · Computer Science 2025-05-23 Aymeric Walch

Combining tools from category theory, model theory, and non-standard analysis we extend Baker-Beynon dualities to the classes of all Abelian $\ell$-groups and all Riesz spaces (also known as vector lattices). The extended dualities have a…

Rings and Algebras · Mathematics 2023-10-23 Luca Carai , Serafina Lapenta , Luca Spada

The choice of an isomorphism, a duality, between a finite abelian group $A$ and its character group allows one to define dual codes of additive codes over $A$. Properties of dualities and dual codes are studied, continuing work of Delsarte…

Information Theory · Computer Science 2026-01-07 Jay A. Wood

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

Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include…

Quantum Algebra · Mathematics 2023-06-16 Thibault D. Décoppet

We study a non-commutative generalization of Stone duality that connects a class of inverse semigroups, called Boolean inverse $\wedge$-semigroups, with a class of topological groupoids, called Hausdorff Boolean groupoids. Much of the paper…

Category Theory · Mathematics 2012-03-16 Mark V Lawson

In this work we define formal grammars in terms of free monoidal categories, along with a functor from the category of formal grammars to the category of automata. Generalising from the Booleans to arbitrary semirings, we extend our…

Formal Languages and Automata Theory · Computer Science 2020-01-13 Dan Shiebler , Alexis Toumi , Mehrnoosh Sadrzadeh

We present a detailed synthetic overview of the utilisation of categorical techniques in the study of order structures together with their applications in operational quantum theory. First, after reviewing the notion of residuation and its…

Quantum Physics · Physics 2007-05-23 Bob Coecke , David Moore

This paper provides a fresh perspective on the representation of distributive bilattices and of related varieties. The techniques of naturalduality are employed to give, economically and in a uniform way, categories ofstructures dually…

Rings and Algebras · Mathematics 2014-01-16 L. M. Cabrer , H. A. Priestley

Let $\mathcal{S}$ be a small category, and suppose that we are given a full subcategory $\mathcal{U}$ such that every object of $\mathcal{S}$ can be embedded into some object of $\mathcal{U}$ in the same way as every quasi-projective…

Category Theory · Mathematics 2024-12-12 Luca Terenzi

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 use category theory to propose a unified approach to the Schur-Weyl dualities involving the general linear Lie algebras, their polynomial extensions and associated quantum deformations. We define multiplicative sequences of algebras…

Representation Theory · Mathematics 2011-05-13 Alexei Davydov , Alexander Molev

Motivated by duality phenomena for derived global sections on derived local systems on compact oriented manifolds, we introduce the notion of a $d$-duality context between symmetric monoidal enriched categories. In this setting, the right…

Category Theory · Mathematics 2026-04-02 Valerio Melani , Hugo Pourcelot

We study dualities between Lie algebras and Lie coalgebras, and their respective (co)representations. To allow a study of dualities in an infinite-dimensional setting, we introduce the notions of Lie monads and Lie comonads, as special…

Rings and Algebras · Mathematics 2013-12-13 Isar Goyvaerts , Joost Vercruysse

In this article we explain the theory of rigid residue complexes in commutative algebra and algebraic geometry, summarizing the background, recent results and anticipated future results. Unlike all previous approaches to Grothendiec…

Algebraic Geometry · Mathematics 2021-02-02 Amnon Yekutieli