Related papers: A Few Notes on Formal Balls
In "Denotational semantics for programming languages, balanced quasi-metrics and fixed points" (International Journal of Computer Mathematics 85 (2008), 623-630), J. Rodr\'{i}guez-L\'{o}pez, S. Romaguera and O. Valero introduced and studied…
The notion of bounded ideals is introduced for quasi-metric spaces. Such ideals give rise to a monad, the bounded ideal monad, on the category of quasi-metric spaces and non-expansive maps. Algebras of this monad are metric version of local…
In the paper we apply some of the results from the theory of ball spaces in the semimetric spaces. This allowed us to obtain some fixed point theorems which we believe to be unknown to this day. We also show the limitations of the ball…
The Kantorovich-Rubinshtein metric is an $L^1$-like metric on spaces of probability distributions that enjoys several serendipitous properties. It is complete separable if the underlying metric space of points is complete separable, and in…
We characterize Yoneda completeness for non-symmetric distances by combinations of metric and directed completeness. One of these generalizes the Kostanek-Waszkiewicz theorem on formal balls.
The construction of the formal ball model for metric spaces due to Edalat and Heckmann was generalized to ${\sf Q}$-categories by Kostanek and Waszkiewicz. This paper concerns the influence of the structure of the quantale ${\sf Q}$ on the…
We study different definitions of Sobolev spaces on quasiopen sets in a complete metric space equipped with a doubling measure supporting a p-Poincar\'e inequality with 1<p<\infty, and connect them to the Sobolev theory in R^n. In…
In this paper, we continue our study of quasihyperbolic metric in Banach spaces. The main results of the paper present a criterion for smoothness of geodesics of quasihyperbolic type metrics in Banach spaces, under a Dini type condition on…
In this article, we introduce and investigate the concept of partial quasi-metric type space as a generalization of both partial quasi-metric and quasi-metric type spaces. We show that many important constructions studied in K\"unzi's…
The aim of this paper is to discus the relations between various notions of sequential completeness and the corresponding notions of completeness by nets or by filters in the setting of quasi-metric spaces. We propose a new definition of…
We investigate properties of quasihyperbolic balls and geodesics in Euclidean and Banach spaces. Our main result is that in uniformly smooth Banach spaces a quasihyperbolic ball of a convex domain is $C^1$-smooth. The question about the…
In this paper, first-order Sobolev-type spaces on abstract metric measure spaces are defined using the notion of (weak) upper gradients, where the summability of a function and its upper gradient is measured by the "norm" of a quasi-Banach…
The concept of a quasi-metric space arises by relaxing the requirement of the symmetry axiom in the definition of a metric. This small variation alters several structural properties possessed by a standard metric space. This article aims to…
Spherically complete ball spaces provide a framework for the proof of generic fixed point theorems. For the purpose of their application it is important to have methods for the construction of new spherically complete ball spaces from given…
We study quasi-modular pseudometric spaces as asymmetric refinements of modular metric structures. To each such space we associate canonical forward and backward quasi-uniformities and the corresponding directional topologies. We introduce…
Let $(M,d)$ be a complete metric space and let $\mathcal{F}(M)$ denote the Lipschitz-free space over $M$. We develop a ``Choquet theory of Lipschitz-free spaces'' that draws from the classical Choquet theory and the De Leeuw representation…
Although the hyperbolic metric possesses many remarkable properties, it is not defined on arbitrary subdomains of $\mathbb{R}^n$ with $n \geq 2$. This article introduces a new hyperbolic-type metric that provides an alternative approach to…
We show that, if S is a finite semiring, then the free profinite S-semimodule on a Boolean Stone space X is isomorphic to the algebra of all S-valued measures on X, which are finitely additive maps from the Boolean algebra of clopens of X…
Uniformly quasiconformally homogeneous domains in $\mathbb{R}^n$ carry a transitive collection of $K$-quasiconformal maps for a fixed $K\geq 1.$ In this paper, we study two questions in this setting. The first is to show that…
A topological space $X$ is called Piotrowski if every quasicontinuous map $f:Z\to X$ from a Baire space $Z$ to $X$ has a continuity point. In this paper we survey known results on Piotrowski spaces and investigate the relation of Piotrowski…