Related papers: Quantales, generalised premetrics and free locales
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…
In this paper, first we obtain some new and interesting results on projective modules and on the upper topology of an ordinal number. Then it is shown that the rank map of a locally of finite type projective module is continuous with…
In pregeometry a metric arises as a composite object at large distances. We investigate if its signature, which distinguishes between time and space, could be a result of the dynamics rather than being built in already in the formulation of…
A topological space is nonseparably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected first countable space is the image of a nonseparably connected complete metric space…
In metric of spaces $L_{s}, \ 1\leq s\leq\infty$, we obtain exact in order estimates of best $m$-term trigonometric approximations of classes of convolutions of periodic functions, that belong to unit all of space $L_{p}, \ 1\leq…
We investigate $\mathcal F$-Borel topological spaces. We focus on finding out how a~complexity of a~space depends on where the~space is embedded. Of a~particular interest is the~problem of determining whether a~complexity of given space $X$…
The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J. Wood on constructive complete distributive lattices where the authors employ elegantly the concepts of adjunction and module in their study of ordered…
A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties…
We relate the novel concept of Topological Data Analysis in Finsler space with representability property, which is a natural obstruction to prevent spurious features in high dimensions. We use decomposition of integer matrix in order to…
We introduce conformal transformations in the synthetic setting of metric spaces and Lorentzian (pre-)length spaces. Our main focus lies on the Lorentzian case, where, motivated by the need to extend classical notions to spaces of low…
In many applications it is important to establish if a given topological preordered space has a topology and a preorder which can be recovered from the set of continuous isotone functions. Under antisymmetry this property, also known as…
In this paper we develop the theory of topological categories over a base category, that is, a theory of topological functors. Our notion of topological functor is similar to (but not the same) the existing notions in the literature (see…
Metrizable spaces are studied in which every closed set is an $\alpha$-limit set for some continuous map and some point. It is shown that this property is enjoyed by every space containing sufficiently many arcs (formalized in the notion of…
The holographic principle and the thermodynamics of de Sitter space suggest that the total number of fundamental degrees of freedom associated with any finite-volume region of space may be finite. The naive picture of a short distance…
The necessity of a theory of General Topology and, most of all, of Algebraic Topology on locally finite metric spaces comes from many areas of research in both Applied and Pure Mathematics: Molecular Biology, Mathematical Chemistry,…
We introduce the notion of pre-weight structure on a triangulated category and study the corresponding pseudo-identities. We propose the notion of canonical derived equivalence between algebras that are not necessarily flat, which is…
We extend the well-known Gelfand-Phillips property for Banach spaces to locally convex spaces, defining a locally convex space $E$ to be Gelfand-Phillips if every limited set in $E$ is precompact in the topology on $E$ defined by barrels.…
We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…
Our work over the past years shows that not only the collection of (for instance) all topological spaces gives rise to a category, but also each topological space can be seen individually as a category by interpreting the convergence…
We provide specific PDEs for preserved quantities $Q$ in Geometry, as well as a bridge between this and specific PDEs for observables $O$ in Physics. We furthermore prove versions of four other theorems either side of this bridge: the below…