Related papers: Coronizations and big pieces in metric spaces
The main motivation of this paper arises from the study of Carnot-Carath\'eodory spaces, where the class of 1-rectifiable sets does not contain smooth non-horizontal curves; therefore a new definition of rectifiable sets including…
Every simple finite graph $G$ has an associated Lov\'asz-Saks-Schrijver ring $R_G(d)$ that is related to the $d$-dimensional orthogonal representations of $G$. The study of $R_G(d)$ lies at the intersection between algebraic geometry,…
A strong law of large numbers for $d$-dimensional random projections of the $n$-dimensional cube is derived. It shows that with respect to the Hausdorff distance a properly normalized random projection of $[-1,1]^n$ onto $\mathbb{R}^d$…
We extend the notion of localic completion of generalised metric spaces by Steven Vickers to the setting of generalised uniform spaces. A generalised uniform space (gus) is a set X equipped with a family of generalised metrics on X, where a…
We introduce a general theory of parametrized objects in the setting of infinity categories. Although spaces and spectra parametrized over spaces are the most familiar examples, we establish our theory in the generality of objects of a…
The category of all monads over many-sorted sets (and over other "set-like" categories) is proved to have coequalizers and strong cointersections. And a general diagram has a colimit whenever all the monads involved preserve monomorphisms…
In this article, we prove the existence of common fixed points for a pair of maps on a $q$-spherically complete $T_0$-ultra-quasi-metric space. The present article is a generalization, in the assymmetric setting of the paper of Rao et…
We are concerned with sequences of graphs having a grid geometry, with a uniform local structure in a bounded domain $\Omega\subset {\mathbb R}^d$, $d\ge 1$. We assume $\Omega$ to be Lebesgue measurable with regular boundary and contained,…
The main aim of the paper is to study in greater detail absolutely homogeneous structures (that is, objects with the property that each partial isomorphism extends to a global automorphism), with special emphasis on metric spaces and…
In this paper, we present the characterizations of total boundedness, relative compactness and compactness in fuzzy set spaces equipped with the endograph metric. The conclusions in this paper significantly improve the corresponding…
We construct generalized symmetries for linearized Einstein gravity in arbitrary dimensions. First-principle considerations in QFT force generalized symmetries to appear in dual pairs. Verifying this prediction helps us find the full set of…
In this paper, we generalize Dranishnikov's asymptotic inductive dimension to the setting of coarse proximity spaces. We show that in this more general context, the asymptotic inductive dimension of a coarse proximity space is bigger or…
Let $M$ and $N$ be two matroids on the same ground set. We generalize results of Drisko and Chapell by showing that any $2n-1$ sets of size $n$ in $M \cap N$ have a rainbow set of size $n$ in $M \cap N$.
The classical Besicovitch-Federer projection theorem implies that the d-dimensional Hausdorff measure of a set in Euclidean space with non-negligible d-unrectifiable part will strictly decrease under orthogonal projection onto almost every…
A homemorphism between domains in $\mathbb R^n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation -- a purely metric quantity -- is uniformly bounded. Gehring proved…
In this paper we prove a general form of the Mass Transference Principle for $\limsup$ sets defined via neighbourhoods of sets satisfying a certain local scaling property. Such sets include self-similar sets satisfying the open set…
We show that there exists a strong uniform embedding from any proper metric space into any Banach space without cotype. Then we prove a result concerning the Lipschitz embedding of locally finite subsets of $\mathcal{L}_{p}$-spaces. We use…
Here are two of our main results: Theorem 1. Let X be a normal space with dim X=n and m\geq n+1. Then the space C*(X,R^m) of all bounded maps from X into R^m equipped with the uniform convergence topology contains a dense G_{\delta}-subset…
Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…
Motivated by a problem in computer architecture we introduce a notion of the perfect distance-dominating set, PDDS, in a graph. PDDSs constitute a generalization of perfect Lee codes, diameter perfect codes, as well as other codes and…