English
Related papers

Related papers: An analogue of Stone duality via support

200 papers

We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on $\mathsf{Set}$; and (ii) the category of internal categories and internal retrofunctors in the category of locales. The left adjoint takes a…

Logic in Computer Science · Computer Science 2026-05-20 Richard Garner , Alyssa Renata , Nicolas Wu

A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a…

Logic in Computer Science · Computer Science 2022-09-05 Mai Gehrke , Tomáš Jakl , Luca Reggio

For a collection of subcategories satisfying a fixed set of conditions, for example thick subcategories of a triangulated category, we define a topological space called classifying space of subcategories. We show that this space classifies…

Category Theory · Mathematics 2017-09-12 Yong Liu

For a tensor triangulated category which is well generated in the sense of Neeman, it is shown that the collection of Bousfield classes forms a set. This set has a natural structure of a complete lattice which is then studied, using the…

Representation Theory · Mathematics 2012-05-15 Srikanth B. Iyengar , Henning Krause

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

Holm (H. Holm, Modules with cosupport and injective functors, Algebr. Represent. Theor., 13 (2010), 543-560) considers categories of right modules dual to those with support in a set of finitely presented modules. We extend some of his…

Representation Theory · Mathematics 2013-04-17 Akeel Ramadan Mehdi , Mike Prest

We give a definition of the action of a tensor triangulated category T on a triangulated category K. In the case that T is rigidly-compactly generated and K is compactly generated we show this gives rise to a notion of supports which…

Category Theory · Mathematics 2012-05-23 Greg Stevenson

We develop a relational duality for semilattices with adjunctions (SLatas) based on binary meet-relations. First, we introduce the category of MoS-spaces and establish a dual equivalence with modal semilattices. Then, by means of…

Logic · Mathematics 2026-05-22 William Zuluaga , Belén Gimenez

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

Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence,…

Logic in Computer Science · Computer Science 2023-06-22 Simon Docherty , David Pym

We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…

Rings and Algebras · Mathematics 2021-09-28 Brett McLean

We extend Stone duality between generalized Boolean algebras and Boolean spaces, which are the zero-dimensional locally-compact Hausdorff spaces, to a non-commutative setting. We first show that the category of right-handed skew Boolean…

Rings and Algebras · Mathematics 2016-04-11 Andrej Bauer , Karin Cvetko-Vah

We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated…

Category Theory · Mathematics 2019-04-29 Hiroyuki Nakaoka , Yann Palu

We introduce and study the Scott adjunction, relating accessible categories with directed colimits to topoi. Our focus is twofold, we study both its applications to formal model theory and its geometric interpretation. From the geometric…

Category Theory · Mathematics 2020-09-17 Ivan Di Liberti

This paper focuses on semilattices with adjunctions (SLatas), which are semilattices with a greatest element enriched with a pair of adjoint maps. We develop a spectral-style duality for SLatas, building on prior topological dualities for…

Logic · Mathematics 2024-12-04 B. Gimenez , G. Pelaitay , W. Zuluaga

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

We propose a new method for defining a notion of support for objects in any compactly generated triangulated category admitting small coproducts. This approach is based on a construction of local cohomology functors on triangulated…

K-Theory and Homology · Mathematics 2008-02-12 Dave Benson , Srikanth B. Iyengar , Henning Krause

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

We define the notion of duality categories as generalization of duality groups. Two examples are treated. The first is the Serre duality in the categories of strict polynomial functors. The second concerns finite complexes. We show in…

Algebraic Topology · Mathematics 2015-07-07 Ramzi Ksouri

We prove versions of the spectral adjunction, a Stone-type duality and Hofmann-Lawson duality for locally small spaces with bounded continuous mappings.

General Topology · Mathematics 2020-09-08 Artur Piękosz