Related papers: Quantales, generalised premetrics and free locales

We investigate a quasisymmetrically invariant counterpart of the topological Hausdorff dimension of a metric space. This invariant, called the topological conformal dimension, gives a lower bound on the topological Hausdorff dimension of…

This paper presents a new version of boundary on coarse spaces. The space of ends functor maps coarse metric spaces to uniform topological spaces and coarse maps to uniformly continuous maps.

Protoadditive functors are designed to replace additive functors in a non-abelian setting. Their properties are studied, in particular in relationship with torsion theories, Galois theory, homology and factorisation systems. It is shown how…

Geometrical model for quantum objects is suggested. It is shown that equations for free material Dirac field and for Maxwell electromagnetic field can be considered as relations describing propagation of the space topological defects. This…

The first author and Oguni introduced a wide class of metric spaces, called coarsely convex spaces. It includes Gromov hyperbolic metric spaces, CAT(0) spaces, systolic complexes, proper injective metric spaces. We introduce the notion of…

The paper studies projective freeness and Hermiteness of algebras of complex-valued continuous functions on topological spaces, Stein algebras, and commutative unital Banach algebras. New sufficient cohomology conditions on the maximal…

A topological space $G$ is said to be a {\it rectifiable space} provided that there are a surjective homeomorphism $\phi :G\times G\rightarrow G\times G$ and an element $e\in G$ such that $\pi_{1}\circ \phi =\pi_{1}$ and for every $x\in G$…

Symmetric Hilbert spaces such as the bosonic and the fermionic Fock spaces over some `one particle space' $\K$ are formed by certain symmetrization procedures performed on the full Fock space. We investigate alternative ways of…

An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…

Let $\mathbb{R}_+=[0,\infty)$ and let $A\subseteq\mathbb{R}^n_+$. We have found the necessary and sufficient conditions under which a function $\Phi:A\to\mathbb{R}_+$ has an isotone subadditive continuation on $\mathbb{R}^n_+$. It allows us…

Motivated by persistent homology and topological data analysis, we consider formal sums on a metric space with a distinguished subset. These formal sums, which we call persistence diagrams, have a canonical 1-parameter family of metrics…

We introduce vectorial and topological continuities for functions defined on vector metric spaces and illustrate spaces of such functions. Also, we describe some fundamental classes of vector valued functions and extension theorems.

Exploiting the symmetry topological field theory/topological order correspondence (SymTFT/TO), together with the higher-categorical structure of 6D N =(2,0) SCFTs, we prove that the total quantum dimension of the relative gaugeable algebra…

In this paper, we introduce the notion of expanding topological space. We define the topological expansion of a topological space via local multi-homeomorphism over coproduct topology, and we prove that the coproduct family associated to…

Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…

Characterisations of metrizable topological spaces or metrizable uniform spaces are well known. A natural counterpart to being metrizable for topological spaces can be expressed in terms of probabilistic metrizability for approach spaces.…

We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…

The complexity quasi-metric of Schellekens is a topological framework in which the asymmetry of computational comparisons -- ``$A$ is at most as fast as $B$'' carrying different information than ``$B$ is at most as slow as $A$'' -- is built…

Hilbert space combines the properties of two fundamentally different types of mathematical spaces: vector space and metric space. While the vector-space aspects of Hilbert space, such as formation of linear combinations of state vectors,…

Motivated by ill-posed PDEs such as $\mathrm{div} (v) = F$ we study locally convex topologies $\mathcal{T}_{\mathcal{C}}$ on real vector spaces $X$ that are a ``localized'' version of a locally convex topology $\mathcal{T}$ to members of a…