English
Related papers

Related papers: Enriched Stone-type dualities

200 papers

Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also…

Category Theory · Mathematics 2024-07-26 Niels van der Weide , Nima Rasekh , Benedikt Ahrens , Paige Randall North

This paper provides a comprehensive overview of some of the foundational properties of categories enriched over quantaloids, along with several new results. We demonstrate that the category whose objects are quantaloid-enriched categories…

Category Theory · Mathematics 2025-10-14 Javier Gutiérrez García , Ulrich Höhle

For a compact Hausdorff space $K$, we give descriptions of the dual of $C(K)^\delta$, the Dedekind completion of the Banach lattice $C(K)$ of continuous, real-valued functions on $K$. We characterize those functionals which are…

Functional Analysis · Mathematics 2021-02-26 Jan Harm van der Walt

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

The dimension algebra of graded groups is introduced. With the help of known geometric results of extension theory that algebra induces all known results of the cohomological dimension theory. Elements of the algebra are equivalence classes…

Algebraic Topology · Mathematics 2008-02-27 Jerzy Dydak

A procedure for constructing bivariant theories by means of Grothendieck duality is developed. This produces, in particular, a bivariant theory of Hochschild (co)homology on the category of schemes that are flat, separated and essentially…

Algebraic Geometry · Mathematics 2015-11-20 Leovigildo Alonso Tarrío , Ana Jeremías López , Joseph Lipman

Duality theorems play a fundamental role in convex optimization. Recently, it was shown how duality theorems for countable probability distributions and finite-dimensional quantum states can be leveraged for building relatively complete…

2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…

Category Theory · Mathematics 2007-05-23 Noson S. Yanofsky

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

Algebraic Topology · Mathematics 2019-05-29 Brice Le Grignou

We extend Priestley Duality to suitable categories of fuzzy topological spaces and ordered algebraic structures that generalize bounded distributive lattices. The duality we prove extends not only classical Priestley Duality between…

Category Theory · Mathematics 2026-04-17 Marby Zuley Bolaños Ortiz , Ciro Russo

Condensed mathematics as developed by Clausen and Scholze yields a version of derived functors over the category of continuous $G$-modules for a Hausdorff topological group $G$. We study the resulting notion of group cohomology and its…

Algebraic Topology · Mathematics 2025-12-04 Emma Brink

In general, universal (co)measuring (co)monoids and universal (co)acting bi/Hopf monoids, which prove to be a useful tool in the classification of quantum symmetries, do not always exist. In order to ensure their existence, the support of a…

Category Theory · Mathematics 2025-07-11 Ana Agore , Alexey Gordienko , Joost Vercruysse

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

Given a horizontal monoid M in a duoidal category F, we examine the relationship between bimonoid structures on M and monoidal structures on the category of right M-modules which lift the vertical monoidal structure of F. We obtain our…

Category Theory · Mathematics 2011-11-28 Thomas Booker , Ross Street

We consider the Complex Stone-Weierstrass Property (CSWP), which is the complex version of the Stone-Weierstrass Theorem. If X is a compact subspace of a product of three linearly ordered spaces, then X has the CSWP if and only if X has no…

General Topology · Mathematics 2007-05-23 Kenneth Kunen

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

In this note, we show that for any harmonic map into a non-compact symmetric space one can find naturally a "dual" harmonic map into a compact symmetric space which can be constructed from the same basic data (called "potentials" in the…

Differential Geometry · Mathematics 2024-08-26 Josef F. Dorfmeister , Peng Wang

A convenient bicategory of topological stacks is constructed which is both complete and Cartesian closed. This bicategory, called the bicategory of compactly generated stacks, is the analogue of classical topological stacks, but for a…

Algebraic Topology · Mathematics 2016-10-18 David Carchedi

An elementary theory of strict $\infty $-categories with application to concrete duality is given. All known famous dualities (Gelfand-Naimark, Pontryagin, Stone, etc.) are so-called natural. A criterion of existence of such a duality for…

Category Theory · Mathematics 2008-07-29 G. V. Kondratiev

Let $CH$ be the class of compacta (i.e., compact Hausdorff spaces), with $BS$ the subclass of Boolean spaces. For each ordinal $alpha$ and pair $(K,L)$ of subclasses of $CH$, we define $Lev_{>=alpha}(K,L)$, the class of maps of level at…

Logic · Mathematics 2016-09-07 Paul Bankston