Related papers: Paracompactness and Open Relations
In the present paper, the Lindelof number and the degree of compactness of spaces and of the cozero-dimensional kernel of paracompact spaces are characterized in terms of selections of lower semi-continuous closed-valued mappings into…
In this paper we introduce a realcompactification for any metric space (X, d), defined by means of the family of all its real-valued uniformly continuous functions. We call it the Samuel realcompactification, according to the well known…
The natural duality between "topological" and "regular," both considered as convergence space properties, extends naturally to p-regular convergence spaces, resulting in the new concept of a p-topological convergence space. Taking advantage…
We prove a general equivalence statement between the notions of models and modelled distributions over a regularity structure, and paracontrolled systems indexed by the regularity structure. This takes in particular the form of a…
The main purpose of this paper is to explore normality in terms of distances between points and sets. We prove some important consequences on realvalued contractions, i.e. functions not enlarging the distance, showing that as in the…
Parametricity is a key metatheoretic property of type systems, which implies strong uniformity & modularity properties of the structure of types within systems possessing it. In recent years, various systems of dependent type theory have…
This paper concerns the self-similarity of topological spaces, in the sense defined in math.DS/0411344. I show how to recognize self-similar spaces, or more precisely, universal solutions of self-similarity systems. Examples include the…
We give a type system in which the universe of types is closed by reflection into it of the logical relation defined externally by induction on the structure of types. This contribution is placed in the context of the search for a natural,…
In physics we often use very simple models to describe systems with many degrees of freedom, but it is not clear why or how this success can be transferred to the more complex biological context. We consider models for the joint…
The following selection theorem is established:\\ Let $X$ be a compactum possessing a binary normal subbase $\mathcal S$ for its closed subsets. Then every set-valued $\mathcal S$-continuous map $\Phi\colon Z\to X$ with closed $\mathcal…
We express the mean Euler characteristic of a contact structure in terms of the mean indices of closed Reeb orbits for a broad class of contact manifolds, the so-called asymptotically finite contact manifolds. We show that this class is…
Our work aims to introduce generalization of soft $ \mu $-compact soft generalized topological spaces, namely; soft nearly $ \mu $-compact spaces which are defined over initial universe with a fixed set of parameters. Basic properties and…
We develop a unified second-order parameterized complexity theory for spaces of integrable functions. This generalizes the well-established case of second-order parameterized complexity theory for spaces of continuous functions.…
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…
We prove a new type of Poincar\'e inequality on abstract Wiener spaces for a family of probability measures which are absolutely continuous with respect to the reference Gaussian measure. This class of probability measures is characterized…
We introduce a new variant of tight closure associated to any fixed ideal $\a$, which we call $\a$-tight closure, and study various properties thereof. In our theory, the annihilator ideal $\tau(\a)$ of all $\a$-tight closure relations,…
For the functors acting in the category of compact Hausdorff spaces, we introduce the so-called open multi-commutativity property, which generalizes both bicommutativity and openness, and prove that this property is satisfied by the functor…
For a uniform space (X, $\mu$), we introduce a realcompactification of X by means of the family $U_{\mu}(X)$ of all the real-valued uniformly continuous functions, in the same way that the known Samuel compactification is given by…
The correspondence between definable connected groupoids in a theory $T$ and internal generalised imaginary sorts of $T$, established by Hrushovski in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics, 2012], is…
This work establishes a Space-Time Connectivity Theorem for normal currents. In analogy to classical results by Federer and Fleming as well as a recent theorem for integral currents by the second author, this result allows one to witness…