Related papers: Localic completion of uniform spaces

In this paper, we study an interplay between local and global properties of spaces of minimal usco maps equipped with the topology of uniform convergence on compact sets. In particular, for each locally compact space $X$ and metric space…

We prove in particular that the Lipschitz-free space over a finitely-dimensional normed space is complemented in its bidual. For Euclidean spaces the norm of the respective projection is $1$. As a tool to obtain the main result we establish…

Motivated by well-known obstacles to quantum gravity, I look for the most general geometrodynamical symmetries compatible with a reduced physical configuration space for metric gravity. I argue that they lead either to a completely static…

We present a generic construction of finite realisations of amalgamation patterns. An amalgamation pattern is specified by a finite collection of finite template structures together with a collection of partial isomorphisms between them. A…

Let $\mathcal{B}$ be a conformal net. We give the notion of a proper action of a finite hypergroup acting by vacuum preserving unital completely positive (so-called stochastic) maps, which generalizes the proper actions of finite groups.…

Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the ordered structure and it does so in a purely algebraic and…

Open sets and compact saturated sets enjoy a perfect formal symmetry, at least for classes of spaces such as Stone spaces or spectral spaces. For larger classes of spaces, a perfect symmetry may not be available, although strong signs of it…

We develop the fundamental theory to study cubical isometry groups as totally disconnected, locally compact groups. We show how cubical isometries are determined by their local actions and how this can be applied in explicit constructions.…

The Giry monad on the category of measurable spaces restricts to the full subcategory of standard Borel spaces, $\mathbf{Std}$, which we show is amenable to analysis. $\mathbf{Std}$ contains the space $\mathbb{R}_{\infty}$ which is the…

Uniformity and proximity are two different ways for defining small scale structures on a set. Coarse structures are large scale counterparts of uniform structures. In this paper, motivated by the definition of proximity, we develop the…

Let X be a proper CAT(0) space. A halfspace system (or cubulation) of X is a set H of open halfspaces closed under closure-complementation and such that every point in X has a neighbourhood intersecting only finitely many walls of H. Given…

We develop the notion of a geometric covering of a rigid space X, which yields a much larger class of covering spaces than that studied previously by de Jong. Geometric coverings of X are closed under disjoint unions and are \'etale local…

Let $C$ be a convex subset of a locally convex space. We provide optimal approximate fixed point results for sequentially continuous maps $f\colon C\to\bar{C}$. First we prove that if $f(C)$ is totally bounded, then it has an approximate…

In this paper we deduce a local deformation lemma for uniform embeddings in a metric covering space over a compact manifold from the deformation lemma for embeddings of a compact subspace in a manifold. This implies the local…

For a countable abelian group $G$ we investigate generic properties of the space of all invariant metrics on $G$. We prove that for every such an unbounded group $G$, i.e. group which has elements of arbitrarily high order, there is a dense…

We describe a coordinate-free notion of conformal nets as a mathematical model of conformal field theory. We define defects between conformal nets and introduce composition of defects, thereby providing a notion of morphism between…

The dual space of the C*-algebra of bounded uniformly continuous functions on a uniform space carries several natural topologies. One of these is the topology of uniform convergence on bounded uniformly equicontinuous sets, or the UEB…

In this paper, a generalized cusp is a properly convex manifold with strictly convex boundary that is diffeomorphic to $M \times [0, \infty)$ where $M$ is a closed Euclidean manifold. These are classified in [2]. The marked moduli space is…

In this paper we further study links between concentration of measure in topological transformation groups, existence of fixed points, and Ramsey-type theorems for metric spaces. We prove that whenever the group $\Iso(\U)$ of isometries of…

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…