Related papers: Choice-Free de Vries Duality

We study a connection between duality and topological field theories. First, 2d Kramers-Wannier duality is formulated as a simple 3d topological claim (more or less Poincare duality), and a similar formulation is given for…

It is a well-known result in pointfree topology that every locally compact frame is spatial. Whether this result extends to MT-algebras (McKinsey-Tarski algebras) was an open problem. We resolve it in the negative by constructing a locally…

This paper deals with the problem of describing the vector spaces of divergence-free, natural tensors on a pseudo-Riemannian manifold that are second-order; i.e., that are defined using only second derivatives of the metric. The main result…

We introduce a notion of the space of types in positive model theory based on Stone duality for distributive lattices. We show that this space closely mirrors the Stone space of types in the full first-order model theory with negation…

We establish a duality between global sheaves on spectral spaces and right distributive bands. This is a sheaf-theoretical extension of classical Stone duality between spectral spaces and bounded distributive lattices. The topology of a…

In our previous work, we introduced McKinsey-Tarski algebras (MT-algebras for short) as an alternative pointfree approach to topology. Here we study local compactness in MT-algebras. We establish the Hofmann-Mislove theorem for sober…

This work forms a foundational study of factorization homology, or topological chiral homology, at the generality of stratified spaces with tangential structures. Examples of such factorization homology theories include intersection…

There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras,…

We apply the $C^*$-algebraic formalism of topological T-duality due to Mathai and Rosenberg to a broad class of topological spaces that include the torus bundles appearing in string theory compactifications with duality twists, such as…

The heterotic-string models in the free fermionic formulation are among the most realistic string vacua constructed to date, which motivates their detailed exploration. Classification of free fermionic heterotic-string vacua revealed a…

We show that the following five categories are equivalent: (1) the opposite category of commutative von Neumann algebras; (2) compact strictly localizable enhanced measurable spaces; (3) measurable locales; (4) hyperstonean locales; (5)…

Let $C$ be a differential graded coalgebra, $ \bar\Omega C$ the Adams cobar construction and $C^\vee$ the dual algebra. We prove that for a large class of coalgebras $C$ there is a natural isomorphism of Gerstenhaber algebras between the…

We use local mirror symmetry in type IIA string compactifications on Calabi-Yau n+1 folds $X_{n+1}$ to construct vector bundles on (possibly singular) elliptically fibered Calabi-Yau n-folds Z_n. The interpretation of these data as valid…

Hausdorff relation, topologically identifying points in a given space, belongs to elementary tools of modern mathematics. We show that if subtle enough mathematical methods are used to analyze this relation, the conclusions may be…

We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new dualities are introduced. In fact, infinitely many new…

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

The purpose of this paper is to give a pair of canonical extensions of Mayer-Vietoris functors (e.g. homology or cohomology theories of spaces) to cospans of spaces. One of the pair, called cospanical extension in this paper, is closely…

The notion of acyclic matching property was provided by Losonczy and it was proved that torsion-free groups admit this property. In this paper, we introduce a duality of acyclic matching as a tool for classification of some Abelian groups,…

This paper is meant to give a short exposition of the Stone's Representation Theorems. We provide three equivalent approaches to construct a Stone's space from a given Boolean algebra. Finally, we utilize the Stone's Representation Theorems…

This work is the first step towards a description of the Gromov boundary of the free factor graph of a free product, with applications to subgroup classification for outer automorphisms. We extend the theory of algebraic laminations dual to…