English
Related papers

Related papers: Concrete Duality for Strict Infinity Categories

200 papers

Inspired by the simple fact that a compact n-dimensional manifold-with-boundary which satisfies Poincar\'e-Lefschetz duality of dimension n has a boundary which itself satisfies Poincar\'e duality of dimension n, we show that the…

Symplectic Geometry · Mathematics 2025-06-03 Yuan Gao

fc-multicategories are a very general kind of two-dimensional structure, encompassing bicategories, monoidal categories, double categories and ordinary multicategories. We define them and explain how they provide a natural setting for two…

Category Theory · Mathematics 2007-05-23 Tom Leinster

A new global approach in the study of duality transformations is introduced. The geometrical structure of complex line bundles is generalized to higher order U(1) bundles which are classified by quantized charges and duality maps are…

High Energy Physics - Theory · Physics 2008-02-03 M. I. Caicedo , I. Martin , A. Restuccia

We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and…

Logic · Mathematics 2023-06-22 Philip Dittmann , Dion Leijnse

In this article we give a classification of the binary, simple, $\omega$-categorical structures with SU-rank 1 and trivial pregeometry. This is done both by showing that they satisfy certain extension properties, but also by noting that…

Logic · Mathematics 2017-04-11 Ove Ahlman

Gelfand-Naimark-Stone duality establishes a dual equivalence between the category ${\sf KHaus}$ of compact Hausdorff spaces and the category ${\boldsymbol{\mathit{uba}\ell}}$ of uniformly complete bounded archimedean $\ell$-algebras. We…

General Topology · Mathematics 2020-02-18 Guram Bezhanishvili , Patrick J. Morandi , Bruce Olberding

We analyse the pseudofinite monadic second order theory of words over a fixed finite alphabet. In particular we present an axiomatisation of this theory, working in a one-sorted first order framework. The analysis hinges on the fact that…

Logic · Mathematics 2022-03-14 Deacon Linkhorn

We extend the classical Stone duality between zero dimensional compact Hausdorff spaces and Boolean algebras. Specifically, we simultaneously remove the zero dimensionality restriction and extend to \'etale groupoids, obtaining a duality…

Logic · Mathematics 2019-11-19 Tristan Bice , Charles Starling

The finitistic dimension of a triangulated category is introduced. For the category of perfect complexes over a ring it is shown that this dimension is finite if and only if the small finitistic dimension of the ring is finite.

Category Theory · Mathematics 2024-09-04 Henning Krause

We prove that the category of boolean inverse monoids is dually equivalent to the category of boolean groupoids. This generalizes the classical Stone duality between boolean algebras and boolean spaces. As an instance of this duality, we…

Category Theory · Mathematics 2009-11-17 Mark V Lawson

We provide a simple natural duality for the varieties generated by the negation- and implication- free reduct of a finite MV-chain. We study these varieties through the dual equivalence thus obtained. For example, we fully characterize…

Rings and Algebras · Mathematics 2023-10-06 Wolfgang Poiger

The notion of formal duality in finite Abelian groups appeared recently in relation to spherical designs, tight sphere packings, and energy minimizing configurations in Euclidean spaces. For finite cyclic groups it is conjectured that there…

Number Theory · Mathematics 2020-05-04 Romanos Diogenes Malikiosis

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 2023-06-22 Mai Gehrke , Tomáš Jakl , Luca Reggio

We study singularity categories of exact categories with a focus on those associated to a complete hereditary cotorsion pair. As an application we identify a non-affine analogue of the singularity category of a Gorenstein local ring; with…

K-Theory and Homology · Mathematics 2022-05-06 Lars Winther Christensen , Nanqing Ding , Sergio Estrada , Jiangsheng Hu , Huanhuan Li , Peder Thompson

In [G. Dimov and E. Ivanova-Dimova, Two extensions of the Stone Duality to the category of zero-dimensional Hausdorff spaces, arXiv:1901.04537v4, 1--33], extending the Stone Duality Theorem, we proved two duality theorems for the category…

General Topology · Mathematics 2020-10-02 Georgi Dimov , Elza Ivanova-Dimova

The scientific and practical needs of the twenty-first century lead humankind to convergence of the specialized and diverse branches of science and technology. This convergence reveals the need for new mathematical theories capable of…

Category Theory · Mathematics 2018-12-20 Aydin Manzouri

We study generalized complex structures and $T$-duality (in the sense of Bouwknegt, Evslin, Hannabuss and Mathai) on Lie algebras and construct the corresponding Cavalcanti and Gualtieri map. Such a construction is called "Infinitesimal…

Differential Geometry · Mathematics 2018-07-04 Viviana del Barco , Lino Grama , Leonardo Soriani

Fundamental duality is a concept which refers to two irreducible, heterogeneous principles which are in opposite and complementary of each other. The complementary principle in quantum mechanics is also praised by Bohr. This important…

General Physics · Physics 2023-01-31 B. T. T. Wong

Many types of categorical structure obey the following principle: the natural notion of equivalence is generated, as an equivalence relation, by identifying $A$ with $B$ when there exists a strictly structure-preserving map $A \to B$ that…

Category Theory · Mathematics 2025-09-29 Tom Leinster

Stone duality generalizes to an equivalence between the categories $\mathsf{Stone}^{\mathsf{R}}$ of Stone spaces and closed relations and $\mathsf{BA}^\mathsf{S}$ of boolean algebras and subordination relations. Splitting equivalences in…

General Topology · Mathematics 2025-01-28 Marco Abbadini , Guram Bezhanishvili , Luca Carai