Related papers: Flatness, preorders and general metric spaces (rev…
The aim of these notes is to discuss the completeness of the dilated systems in a most general framework of an arbitrary sequence lattice $X$, including weighted $\ell^p$ spaces. In particular, general multiplicative and completely…
We solve the following three questions concerning surjective linear isometries between spaces of Lipschitz functions $\mathrm{Lip}(X,E)$ and $\mathrm{Lip}(Y,F)$, for strictly convex normed spaces $E$ and $F$ and metric spaces $X$ and $Y$:…
We introduce the notion of echeloned spaces - an order-theoretic abstraction of metric spaces. The first step is to characterize metrizable echeloned spaces. It turns out that morphisms between metrizable echeloned spaces are uniformly…
This paper deals with properties of filtrations on vector spaces indexed by partially ordered finitely generated abelian groups, which we call multifiltrations. We discuss the usual properties of filtrations, like exhaustivity and…
The complete class of conformally flat, pure radiation metrics is given, generalising the metric recently given by Wils.
Local versions of measurability have been around for a long time. Roughly, one splits the notion of $\mu $-completeness into pieces, and asks for a uniform ultrafilter over $\mu $ satisfying just some piece of $\mu $-completeness. Analogue…
Magnitude is a numerical invariant of enriched categories, including in particular metric spaces as $[0,\infty)$-enriched categories. We show that in many cases magnitude can be categorified to a homology theory for enriched categories,…
We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according to the most widely used notion, the class of Kripke Modal…
The space of complete collineations is a compactification of the space of matrices of fixed dimension and rank, whose boundary is a divisor with normal crossings. It was introduced in the 19th century and has been used to solve many…
In this work, we define new sequence spaces by combining generalized weighted mean and difference operator. Afterward, we investigate topological structure which are completeness, AK-property, AD-property. Also, we compute the alpha, beta…
The inclusion of a flat metric tensor in gravitation permits the formulation of a gravitational stress-energy tensor and the formal derivation of general relativity from a linear theory in flat spacetime. Building on the works of Kraichnan…
Much work has been done on generalising results about uniform spaces to the pointfree context. However, this has almost exclusively been done using classical logic, whereas much of the utility of the pointfree approach lies in its…
A main issue in cosmology and astrophysics is whether the dark sector phenomenology originates from particle physics, then requiring the detection of new fundamental components, or it can be addressed by modifying General Relativity.…
The equivalence of a conformal metric on 4-dimensional space-time and a local field of 3-dimensional subspaces of the space of 2-forms over space-time is discussed and the basic notion of transection is introduced. Corresponding relation is…
There exist two known canonical types of ultrafilter extensions of first-order models; one comes from modal logic and universal algebra, another one from model theory and algebra of ultrafilters, with ultrafilter extensions of semigroups as…
We formulate an elementary condition on an involutive quantaloid Q under which there is a distributive law from the Cauchy completion monad over the symmetrisation comonad on the category of Q-enriched categories. For such quantaloids,…
The elementary quotient completion of an elementary doctrine in the sense of Lawvere was introduced in previous work by the first and third authors. It generalises the exact completion of a category with finite products and weak equalisers.…
Modern statistical learning theory and deep learning characterize generalization primarily in terms of continuous capacity control (e.g., norm-based regularization, margin maximization, low-rank bias). While highly successful in continuous…
There is no known fundamental reason to demand as a cosmological initial condition that the bulk possess an SO(3,1) isometry. On the contrary, one expects bulk curvature terms that violate the SO(3,1) isometry at early epochs, leading to a…
Extending the `metric spaces' of Lawvere, we study `real metrics', with values in the extended real line. Formally, this ordered set is a symmetric monoidal closed category, and our structures are enriched categories on the latter.…