Related papers: Sequences suffice for pointfree uniform completion…
Finite metric spaces arise in many different contexts. Enormous bodies of data, scientific, commercial and others can often be viewed as large metric spaces. It turns out that the metric of graphs reveals a lot of interesting information.…
In this paper we presents further developments regarding the enrichment of the basic Theory of Order Completion. In particular, spaces of generalized functions are constructed that contain generalized solutions to all systems of continuous,…
In a recent paper \cite{T} the fact that a class of locally compact metric spaces $X$, among which are Euclidean spaces, are not homemorphic to their punctured version $X\men\{p\}$, was given an interesting new proof which does not use…
We give characterizations of unital uniform topological algebras and saturated locally multiplicatively convex algebras by means of multiplicative linear functionals. Some automatic continuity theorems in advertibly complete uniform…
There are several ideal boundaries and completions in General Relativity sharing the topological property of being sequential, i.e., determined by the convergence of its sequences and, so, by some limit operator $L$. As emphasized in a…
Shape completion, i.e., predicting the complete geometry of an object from a partial observation, is highly relevant for several downstream tasks, most notably robotic manipulation. When basing planning or prediction of real grasps on…
The paper studies a general scheme for constructing metrics on a product of metric spaces by means of a family of continuous convex functions. This construction includes the conventional $p$-metrics and generates metrics that are…
Connectedness, path connectedness, and uniform connectedness are well-known concepts. In the traditional presentation of these concepts there is a substantial difference between connectedness and the other two notions, namely connectedness…
The concept of quasi-partial b-metric-like spaces is being introduced and studied with the help of topology. Examples are also discussed to support the results. Some fixed point theorems are proved in the setting of quasi-partial…
Many parametrization and mapping-related problems in geometry processing can be viewed as metric optimization problems, i.e., computing a metric minimizing a functional and satisfying a set of constraints, such as flatness. Penner…
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 study some topological characteristics of the n-normed spaces. We observe convergence sequences, closed sets, and bounded sets in the n-normed spaces using norms of quotient spaces that will be constructed. These norms…
This paper presents two general criteria to determine spaceability results in the complements of unions of subspaces. The first criterion applies to countable unions of subspaces under specific conditions and is closely related to the…
In this paper, we consider a model of classical linear logic based on coherence spaces endowed with a notion of totality. If we restrict ourselves to total objects, each coherence space can be regarded as a uniform space and each linear map…
Completion problems, of recovering a point from a set of observed coordinates, are abundant in applications to image reconstruction, phylogenetics, and data science. We consider a completion problem coming from algebraic statistics: to…
Matrix completion is a basic machine learning problem that has wide applications, especially in collaborative filtering and recommender systems. Simple non-convex optimization algorithms are popular and effective in practice. Despite recent…
This is an exposition of homotopical results on the geometric realization of semi-simplicial spaces. We then use these to derive basic foundational results about classifying spaces of topological categories, possibly without units. The…
A generic method for combinatorial constructions of intrinsic geometrical spaces is presented. It is based on the well known inverse sequences of finite graphs that determine (in the limit) topological spaces. If a pattern of the…
The aim of this paper is to study the basic properties of the Thompson metric $d_T$ in the general case of a real linear space $X$ ordered by a cone $K$. We show that $d_T$ has monotonicity properties which make it compatible with the…
We describe a method to construct completions of affine spaces into total spaces of $\mathbb{Q}$-factorial terminal Mori fiber spaces over the projective line. As an application we provide families of examples with non-rational,…