Related papers: Towards a Gleason Cover for Compact Pospaces

The category of compact Hausdorff spaces is the base of tripos. As such it can be freely completed to an elementary topos.

In this paper we carry the construction of equilogical spaces into an arbitrary category $\mathsf{X}$ topological over $\mathsf{Set}$, introducing the category $\mathsf{X}$-$\mathsf{Equ}$ of equilogical objects. Similar to what is done for…

I show that any complex manifold that resembles a rank two compact Hermitian symmetric space (other than a quadric hypersurface) to order two at a general point must be an open subset of such a space.

A space of pseudoquotients $\mathcal P (X,S)$ is defined as equivalence classes of pairs $(x,f)$, where $x$ is an element of a non-empty set $X$, $f$ is an element of $S$, a commutative semigroup of injective maps from $X$ to $X$, and…

The aim of this paper is to introduce the concepts of homotopical smallness and closeness. These are the properties of homotopical classes of maps that are related to recent developments in homotopy theory and to the construction of…

Crisp and $L$-fuzzy ambiguous representations of closed subsets of one space by closed subsets of another space are introduced. It is shown that, for each pair of compact Hausdorff spaces, the set of (crisp or $L$-fuzzy) ambiguous…

We introduce three new classes of pracompact spaces, consider their basic properties and relations with other compact-like spaces.

We provide a characterisation of the category KH of compact Hausdorff spaces and continuous maps by means of categorical properties only. To this aim we introduce a notion of filtrality for coherent categories, relating certain lattices of…

We prove a number of dualities between posets and (pseudo)bases of open sets in locally compact Hausdorff spaces. In particular, we show that (1) Relatively compact basic sublattices are finitely axiomatizable. (2) Relatively compact basic…

In this article we prove that every isometric copy of C(L) in C(K) is complemented if L is compact Hausdorff of finite height and K is a compact Hausdorff space satisfying the extension property, i.e., every closed subset of K admits an…

Indecomposable symmetric Lorentzian manifolds of non-constant curvature are called Cahen-Wallach spaces. Their isometry classes are described by continuous families of real parameters. We derive necessary and sufficient conditions for the…

This paper presents a comprehensive description of the coordinate rings and Poisson brackets associated with the fourth Calogero-Moser space and invariant commuting pairs of matrices of size four. As an application, we compute their…

In their 2022 lecture notes on condensed sets, Clausen and Scholze mentioned in a remark that the important subclass of quasiseparated condensed sets is equivalent to the category of so-called compactological spaces defined by Waelbroeck in…

We propose a generalization of quantization as a categorical way. For a fixed Poisson algebra quantization categories are defined as subcategories of R-module category with the structure of classical limits. We construct the generalized…

We investigate the existence of compact Hausdorff spaces $X$ that are minimum with respect to $cX=K$ for some fixed covering operator $c$ and compact Hausdorff space $K$ with $cK=K$. Then, using the Yosida representation theorem, we show…

Generalizations of the theorems of Eberlein and Grothendieck on the precompactness of subsets of function spaces are considered: if $X$ is a countably compact space and $C_p(X)$ is a space of continuous functions in the pointwise topology…

For each poset $P$, we construct a polytope $A(P)$ called the $P$-associahedron. Similarly to the case of graph associahedra, the faces of $A(P)$ correspond to certain nested collections of subsets of $P$. The Stasheff associahedron is a…

The Gromov-Hausdorff space is usually defined in textbooks as "the space of all compact metric spaces up to isometry". We describe a formalization of this notion in the Lean proof assistant, insisting on how we need to depart from the usual…

In this note the notion of Poisson brackets in Kontsevich's "Lie World" is developed. These brackets can be thought of as "universally" defined classical Poisson structures, namely formal expressions only involving the structure maps of a…

We prove that all the compact metric spaces are in the closure of the class of full matrix algebras for the quantum Gromov-Hausdorff propinquity. We also show that given an action of a compact metrizable group G on a quasi-Leibniz compact…