Related papers: Flatness, accessibility and metric spaces
We propose a new framework that unifies different fairness measures into a general, parameterized class of convex fairness measures suitable for optimization contexts. First, we propose a new class of order-based fairness measures, discuss…
In this paper we study flatness of the restriction on some special subgerms (e.g. the reduction and the unmixed part) of the total space of a flat morphism over a smooth base space. We give a relationship between reducedness of the total…
We study the $2$-categories BIon, of (generalized) bounded ionads, and $\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex)…
We review a notion of completeness in QFT arising from the analysis of basic properties of the set of operator algebras attached to regions. In words, this completeness asserts that the physical observable algebras produced by local degrees…
In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that…
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
We use the HyperK\"{a}hler quotient of flat space to obtain some monopole moduli space metrics in explicit form. Using this new description, we discuss their topology, completeness and isometries. We construct the moduli space metrics in…
The aim of the present paper is to prove that the family of all closed nonempty subsets of a complete probabilistic metric space $L$ is complete with respect to the probabilistic Pompeiu-Hausdorff metric $H$. The same is true for the…
Positive definite (p.d.) matrices arise naturally in many areas within mathematics and also feature extensively in scientific applications. In modern high-dimensional applications, a common approach to finding sparse positive definite…
Neeman shows that the completion of a triangulated category with respect to a good metric yields a triangulated category. We compute completions of discrete cluster categories with respect to metrics induced by internal t-structures. In…
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…
We study the classical spaces $L_{p}$ and $\ell_{p}$ for the whole range $0<p<\infty$ from a metric viewpoint and give a complete Lipschitz embeddability roadmap between any two of those spaces when equipped with both their ad-hoc distances…
A condition on an affine central subalgebra $Z$ of a noetherian algebra $A$ of finite Gelfand-Kirillov dimension, which we call here \emph{unruffledness}, is shown to be equivalent in some circumstances to the flatness of $A$ as a…
The space of full-ranked one-forms on a smooth, orientable, compact manifold (possibly with boundary) is metrically incomplete with respect to the induced geodesic distance of the generalized Ebin metric. We show a distance equality between…
There is a one-to-one correspondence between associated families of generic conformally flat (local-)hypersurfaces in 4-dimensional space forms and conformally flat 3-metrics with the Guichard condition. In this paper, we study the space of…
We introduce the notion of a "category with path objects", as a slight strengthening of Kenneth Brown's classic notion of a "category of fibrant objects". We develop the basic properties of such a category and its associated homotopy…
The set of associative and commutative hypercomplex numbers, called the perfect hypercomplex algebra (PHA) is investigated. Necessary and sufficient conditions for an algebra to be a PHA via semi-tensor product(STP) of matrices are…
Inspired by a question raised by Eisenbud-Musta\c{t}\u{a}-Stillman regarding the injectivity of maps from ${\rm Ext}$ modules to local cohomology modules and the work by the third author with Pham, we introduce a class of rings which we…
We introduce a new ladder of function spaces which is shown to fill in the gap between the weak $L^{p\infty}$ spaces and the larger Morrey spaces, $M^p$. Our motivation for introducing these new spaces, denoted $\V^{pq}$, is to gain a more…
The correspondence between the concept of conditional flatness and admissibility in the sense of Galois appears in the context of localization functors in any semi-abelian category admitting a fiberwise localization. It is then natural to…