Related papers: Quantales, generalised premetrics and free locales
Topology, a mathematical concept, has recently become a popular and truly transdisciplinary topic encompassing condensed matter physics, solid state chemistry, and materials science. Since there is a direct connection between real space,…
We study several sufficient conditions for the molecularity/local-connectedness of geometric morphisms. In particuar, we show that if $\mathcal{S}$ is a Boolean topos then, for every hyperconnected essential geometric morphism ${p :…
We study free topological groups defined over uniform spaces in some subclasses of the class NA of non-archimedean groups. Our descriptions of the corresponding topologies show that for metrizable uniformities the corresponding free…
Space-time measurements and gravitational experiments are made by using objects, matter fields or particles and their mutual relationships. As a consequence, any operationally meaningful assertion about space-time is in fact an assertion…
We show that in the category of preordered sets, there is a natural notion of pretorsion theory, in which the partially ordered sets are the torsion-free objects and the sets endowed with an equivalence relation are the torsion objects.…
Let $(X,d)$ be an unbounded metric space and $\tilde r=(r_n)_{n\in\mathbb N}$ be a scaling sequence of positive real numbers tending to infinity. We define the pretangent space $\Omega_{\infty, \tilde r}^{X}$ to $(X, d)$ at infinity as a…
In metric-affine gravity, both the gravitational and matter actions depend not just on the metric, but also on the independent affine connection. Thus matter can be modeled as a hyperfluid, characterized by both the energy-momentum and…
We prove that the Lipschitz-free space over a countable proper metric space is isometric to a dual space and has the metric approximation property. We also show that the Lipschitz-free space over a proper ultrametric space is isometric to…
This paper investigates the interplay between properties of a topological space $X$, in particular of its natural order, and properties of the lax comma category $\mathsf{Top} \Downarrow X$, where $\mathsf{Top}$ denotes the category of…
Any symmetric affinity function $w: V\times V \to \mathbb{R}_+$ defined on a discrete set $V$ induces Euclidean space structure on $V$. In particular, an undirected graph specified by an affinity (or adjacency) matrix can be considered as a…
We extend the Stone duality between topological spaces and locales to include order: there is an adjunction between the category of preordered topological spaces satisfying the so-called open cone condition, and the newly defined category…
We define an elementary $\infty$-topos that simultaneously generalizes an elementary topos and Grothendieck $\infty$-topos. We then prove it satisfies the expected topos theoretic properties, such as descent, local Cartesian closure,…
A proto-quantum space is a (general) matricially normed space in the sense of Effros and Ruan presented in a `matrix-free' language. We show that these spaces have a special (projective) tensor product possessing the universal property with…
Different extended objects can fall in different ways, depending on their internal structures. Some motions are nevertheless impossible, regardless of internal structure. This paper derives universal constraints on extended-body motion,…
Is the Universe (a spatial section thereof) finite or infinite? Knowing the global geometry of a Friedmann-Lema\^{\i}tre (FL) universe requires knowing both its curvature and its topology. A flat or hyperbolic (``open'') FL universe is {\em…
(This is a report for the Proceedings of ``Journees Relativistes 1993'' written in September 1993. Containes a short description of the results published elsewhere in the joint paper with A. Ashtekar) Integral calculus on the space of gauge…
We survey recent progress on three relevant instances of free objects related to Banach spaces: Lipschitz free spaces generated by metric spaces, holomorphic free spaces generated by open sets and free Banach lattices generated by Banach…
In this paper we propose and study a class of simple, nonparametric, yet interpretable measures of association between two random variables $X$ and $Y$ taking values in general topological spaces. These nonparametric measures -- defined…
It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective…
By looking at decidable quotients, a sufficient condition is provided to guarantee that (1) the full subcategory of decidable objects of a topos is an exponential ideal and that (2) the classical notion of connectedness for an object $X$…