Related papers: Choice-Free de Vries Duality

In this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes' representation theorem to bounded,…

A classical set of birational invariants of a variety are its spaces of pluricanonical forms and some of their canonically defined subspaces. Each of these vector spaces admits a typical metric structure which is also birationally…

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…

Gelfand duality between unital commutative C*-algebras and Compact Hausdorff spaces is extended to all unital C*-algebras, where the dual objects are what we call compact Hausdorff quantum spaces. We apply this result to obtain, a…

In this paper we provide a Stone style duality for monotone semilattices by using the topological duality developed in \cite{Celani2020} for semilattices together with a topological description of their canonical extension. As an…

We exhibit an adjunction between a category of abstract algebras of partial functions that we call difference-restriction algebras and a category of Hausdorff \'etale spaces. Difference-restriction algebras are those algebras isomorphic to…

Spinor-vector dualities have been established in various exact string realisations like orbifold and free fermionic constructions. This paper aims to investigate possibility of having spinor-vector dualities on smooth geometries in the…

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…

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…

We consider a pure U(1) quantum gauge field theory on a general Riemannian compact four manifold. We compute the partition function with Abelian Wilson loop insertions. We find its duality covariance properties and derive topological…

In Riesz space theory it is good practice to avoid representation theorems which depend on the axiom of choice. Here we present a general methodology to do this using pointfree topology. To illustrate the technique we show that almost…

Beginning with the self-dual two-forms approach to the Einstein equations, we show how, by choosing basis spinors which are proportional to solutions of the Dirac equation, we may rewrite the vacuum Einstein equations in terms of a set of…

Mirror symmetry was first observed in worldsheet string constructions and shown to have profound implications in the Effective Field Theory (EFT) limit of string compactifications, and for the properties of Calabi-Yau manifolds. It opened…

It is shown that two$(1 + 1)$-dimensional (2D) free Abelian- and self-interacting non-Abelian gauge theories (without any interaction with matter fields) belong to a new class of topological field theories. These new theories capture…

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…

We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose…

This is the last in a series of three notes on an investigation into core regular double Stone algebras, CRDSA, which are meant to be read in order. This note ends our initial investigation of duality for CRDSA through bi-topological…

Using the completed inductive, projective and injective tensor products of Grothendieck for locally convex topological vector spaces, we develop a systematic theory of locally convex Hopf algebras with an emphasis on Pontryagin-type…

Compact metric spaces form an important class of metric spaces, but the category that they define lacks many important properties such as completeness and cocompleteness. In recent studies of "metric domain theory" and Stone-type dualities,…

The structure of spacetime duality and discrete worldsheet symmetries of compactified string theory is examined within the framework of noncommutative geometry. The full noncommutative string spacetime is constructed using the…