Related papers: Locatedness and overt sublocales

We develop a simple method of constructing topological spaces from countable posets with finite levels, one which applies to all second countable T_1 compacta. This results in a duality amenable to building such spaces from finite building…

A compactness of the Revuz map is established in the sense that the locally uniform convergence of a sequence of positive continuous additive functionals is derived in terms of their smooth measures. To this end, we first introduce a metric…

For the set C(X) of real-valued continuous functions on a Tychonoff space X, the compact-open topology on C(X) is a "set-open topology". This paper studies the separation and countability properties of the space C(X) having the topology…

The initial part of this paper is devoted to the notion of pseudo-seminorm on a vector space $E$. We prove that the topology of every topological vector space is defined by a family of pseudo-seminorms (and so, as it is known, it is…

We extend some classical results of Bousfield on homology localizations and nilpotent completions to a presentably symmetric monoidal stable $\infty$-category $\mathscr{M}$ admitting a multiplicative left-complete $t$-structure. If $E$ is a…

We define a class of sites such that the associated topos is equivalent to the category of smooth sets (representations) of some locally prodiscrete monoids (to be defined). Examples of locally prodiscrete monoids include profinite groups…

Locality is a fundamental principle used extensively in program and system optimization. It can be measured in many ways. This paper formalizes the metrics of locality into a measurement theory. The new theory includes the precise…

Partially ordered sets (posets) play a universal role as an abstract structure in many areas of mathematics. For finite posets, an explicit enumeration of distinct partial orders on a set of unlabelled elements is known only up to a…

This paper presents new approaches to the fixed point property for nonexpansive mappings in L^1 spaces. While it is well-known that L^1 fails the fixed point property in general, we provide a complete and self-contained proof that…

Classes of Banach spaces that are finitely, strongly finitely or elementary equivalent are introduced. On sets of these classes topologies are defined in such a way that sets of defined classes become compact totally disconnected…

A topological space $L$ is called a linear ordered topological space (LOTS) whenever there is a linear order $\leq$ on $L$ such that the topology on $L$ is generated by the open sets of the form $(a, b)$ with $a < b$ and $a, b \in L \cup \{…

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

Metric spaces are a fundamental component of mathematics and have a paramount importance as a framework for measuring distance. They can be found in many different branches of mathematics, such as analysis and topology. This paper offers an…

This work is motivated by the problem of finding locally compact group topologies for piecewise full groups (a.k.a.~ topological full groups). We determine that any piecewise full group that is locally compact in the compact-open topology…

This paper establishes a general topological condition under which the semilocal stability of a set-valued mapping can be exactly determined by its local stability properties. Specifically, we investigate the relationship between the…

Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…

A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible,…

It was established in [8] that Lipschitz inf-compact functions are uniquely determined by their local slope and critical values. Compactness played a paramount role in this result, ensuring in particular the existence of critical points. We…

With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions…

Closure spaces, a generalisation of topological spaces, have shown to be a convenient theoretical framework for spatial model checking. The closure operator of closure spaces and quasi-discrete closure spaces induces a notion of…