Related papers: Remarks on Hyperspaces for Priestley Spaces

As a topological generalization of the notion of a multiset, a boolean multispace is a boolean space $X$ with a continuous function $u\colon X\to \mathbb Z_{>0}$, where $\mathbb Z_{>0}=\{1,2,\dots\}$ has the discrete topology. In this paper…

Motivated by applications to duality theorems for $p$-adic pro-\'etale cohomology of rigid analytic spaces, we study the category of Topological Vector Spaces in the setting of condensed mathematics. We prove that it contains, as full…

Let G be a split semisimple algebraic group with trivial center. Let S be a compact oriented surface, with or without boundary. We define {\it positive} representations of the fundamental group of S to G(R), construct explicitly all…

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…

We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…

There are numerous generalizations of the celebrated Priestley duality for bounded distributive lattices to the non-distributive setting. The resulting dualities rely on an earlier foundational work of such authors as Nachbin,…

We prove three new versions of Stone Duality. The main version is the following: the category of Kolmogorov locally small spaces and bounded continuous mappings is equivalent to the category of spectral spaces with decent lumps and with…

The paper initiates a systematic study of Moebius structures and Ptolemy spaces. We conjecture that every compact Ptolemy space with circles and many space inversions is Moebius equivalent to the boundary at infinity of a rank one symmetric…

In this chapter we study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove completeness for the following classes: all spaces,…

We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic. This duality builds on the Hofmann, Mislove and Stralka…

The existing topological representation of an orthocomplemented lattice via the clopen orthoregular subsets of a Stone space depends upon Alexander's Subbase Theorem, which asserts that a topological space $X$ is compact if every subbasic…

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…

The main aim of this paper is to generalize the concept of vector space by the hyperstructure. We generalize some definitions such as hypersubspaces, linear combination, Hamel basis, linearly dependence and linearly independence. A few…

Moduli spaces of sheaves and Hilbert schemes of points have experienced a recent resurgence in interest in the past several years, due largely to new techniques arising from Bridgeland stability conditions and derived category methods. In…

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…

In this article, we solve the problem of constructing moduli spaces of semistable principal bundles (and singular versions of them) over smooth projective varieties over algebraically closed ground fields of positive characteristic.

We investigate computable metrizability of Polish spaces up to homeomorphism. In this paper we focus on Stone spaces. We use Stone duality to construct the first known example of a computable topological Polish space not homeomorphic to any…

We give a method to construct stable vector bundles whose rank divides the degree over curves of genus bigger than one. The method complements the one given by Newstead. Finally, we make some systematic remarks and observations in…

Foundation models pre-trained on massive datasets, including large language models (LLMs), vision-language models (VLMs), and large multimodal models, have demonstrated remarkable success in diverse downstream tasks. However, recent studies…

Wheeler emphasized the study of Superspace - the space of 3-geometries on a spatial manifold of fixed topology. This is a configuration space for GR; knowledge of configuration spaces is useful as regards dynamics and QM.In this Article I…