English
Related papers

Related papers: Duality theory for enriched Priestley spaces

200 papers

De Vries duality yields a dual equivalence between the category of compact Hausdorff spaces and a category of complete Boolean algebras with a proximity relation on them, known as de Vries algebras. We extend de Vries duality to completely…

General Topology · Mathematics 2018-04-11 Guram Bezhanishvili , Patrick J. Morandi , Bruce Olberding

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

We introduce the notion of a "graded topological space": a topological space endowed with a sheaf of abelian groups which we think of as a sheaf of gradings. Any object living on a graded topological space will be graded by this sheaf of…

Algebraic Geometry · Mathematics 2020-07-20 Clemens Koppensteiner

We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure…

Category Theory · Mathematics 2024-09-16 Isaac Bird , Jordan Williamson

Freyd categories provide a semantics for first-order effectful programming languages by capturing the two different orders of evaluation for products. We enrich Freyd categories in a duoidal category, which provides a new, third choice of…

Programming Languages · Computer Science 2023-03-09 Chris Heunen , Jesse Sigal

We study duality transformation and duality symmetry in the the electromagnetic-like charged p-form theories. It is shown that the dichotomic characterization of duality groups as $Z_2$ or SO(2) remains as the only possibilities but are now…

High Energy Physics - Theory · Physics 2009-11-10 Roberto Menezes , Clovis Wotzasek

Under Stone/Priestley duality for distributive lattices, Esakia spaces correspond to Heyting algebras which leads to the well-known dual equivalence between the category of Esakia spaces and morphisms on one side and the category of Heyting…

Category Theory · Mathematics 2014-08-06 Dirk Hofmann , Pedro Nora

In the first part of this paper we show that path categories are enriched over groupoids, in a way that is compatible with a suitable 2-category of path categories. In the second part we introduce a new notion of homotopy exponential and…

Category Theory · Mathematics 2020-10-28 Martijn den Besten

We present a Stone duality for bitopological spaces in analogy to the duality between Stone spaces and Boolean algebras, in the same vein as the duality between d-sober bitopological spaces and spatial d-frames established by Jung and…

General Topology · Mathematics 2026-01-27 Hang Yang , Dexue Zhang

There are several compactification procedures in topology, but there is only one standard discretization, namely, replacing the original topology with the discrete topology. We give a notion of discretization which is dual (in categorical…

General Topology · Mathematics 2014-12-16 Massoud Amini , Nasser Golestani

We show that any preadditive infinity category with duality gives rise to a direct sum hermitian K-theory spectrum. This assignment is lax symmetric monoidal, thereby producing E-infinity ring spectra from preadditive symmetric monoidal…

K-Theory and Homology · Mathematics 2025-04-01 Hadrian Heine , Alejo Lopez-Avila , Markus Spitzweck

We study the link between a compact hypersurface in $\P^{n+1}$ and the set of all its tangent planes. In this context, we identify $\P^{n+1}$ to the set of linear subspaces of codimension one by orthogonal complementarity. This gives rise…

dg-ga · Mathematics 2008-02-03 Francois Pointet

We introduce the notion of $\mathcal{M}$-locally generated category for a factorization system $(\mathcal{E},\mathcal{M})$ and study its properties. We offer a Gabriel-Ulmer duality for these categories, introducing the notion of nest. We…

Category Theory · Mathematics 2025-10-16 Ivan Di Liberti , Jiří Rosický

We develop a new duality for distributive and implicative meet semi-lattices. For distributive meet semi-lattices our duality generalizes Priestley's duality for distributive lattices and provides an improvement of Celani's duality. Our…

Logic · Mathematics 2024-11-01 Guram Bezhanishvili , Ramon Jansana

Originally enriched categories were defined over a monoidal category, but it was gradually realized that important examples can only be included when one enriches over more general structures such as bicategories and virtual double…

Category Theory · Mathematics 2025-07-09 Soichiro Fujii , Stephen Lack

A theory of double affine and special double affine bundles, i.e. differential manifolds with two compatible (special) affine bundle structures, is developed as an affine counterpart of the theory of double vector bundles. The motivation…

Differential Geometry · Mathematics 2011-11-22 Janusz Grabowski , Mikolaj Rotkiewicz , Pawel Urbanski

We construct a model structure on the category of small categories enriched over a combinatorial closed symmetric monoidal model category satisfying the monoid axiom. Weak equivalences are Dwyer-Kan equivalences, i.e. enriched functors…

Algebraic Topology · Mathematics 2024-08-06 Fernando Muro

We propose a generalization of continuous lattices and domains through the concept of enriched closure space, defined as a closure space equipped with a preclosure operator satisfying some compatibility conditions. In this framework we are…

Logic in Computer Science · Computer Science 2017-05-16 Paul Poncet

This is a very brief survey of some results in the geometry of string duality delivered at a lecture given at ICM 1998, Berlin. String Duality is the statement that one kind of string theory compactified on one space is equivalent in some…

Algebraic Geometry · Mathematics 2007-05-23 Paul S. Aspinwall

It has been common wisdom among mathematicians that Extended Topological Field Theory in dimensions higher than two is naturally formulated in terms of n-categories with n> 1. Recently the physical meaning of these higher categorical…

Quantum Algebra · Mathematics 2010-04-23 Anton Kapustin