scholarly journals Metric monads

2021 ◽  
pp. 1-18
Author(s):  
Jiří Rosický
Keyword(s):  
Universal Algebra ◽  
Metric Spaces ◽  
Enriched Category

Abstract We develop universal algebra over an enriched category and relate it to finitary enriched monads over . Using it, we deduce recent results about ordered universal algebra where inequations are used instead of equations. Then we apply it to metric universal algebra where quantitative equations are used instead of equations. This contributes to understanding of finitary monads on the category of metric spaces.

Completions of Non-Symmetric Metric Spaces Via Enriched Categories

2009 ◽  
Vol 16 (1) ◽  
pp. 157-182
Author(s):  
Vincent Schmitt
Keyword(s):  
Category Theory ◽  
Metric Spaces ◽  
Enriched Category ◽  
Closed Category ◽  
Enriched Categories ◽  
Terminal Object ◽  
Base Category ◽  
Monoidal Closed Category ◽  
The One ◽  
Universal Completion

Abstract It is known from [Lawvere, Repr. Theory Appl. Categ. 1: 1–37 2002] that nonsymmetric metric spaces correspond to enrichments over the monoidal closed category [0, ∞]. We use enriched category theory and in particular a generic notion of flatness to describe various completions for these spaces. We characterise the weights of colimits commuting in the base category [0, ∞] with the conical terminal object and cotensors. Those can be interpreted in metric terms as very general filters, which we call filters of type 1. This correspondence extends the one between minimal Cauchy filters and weights which are adjoint as modules. Translating elements of enriched category theory into the metric context, one obtains a notion of convergence for filters of type 1 with a related completeness notion for spaces, for which there exists a universal completion. Another smaller class of flat presheaves is also considered both in the context of both metric spaces and preorders. (The latter being enrichments over the monoidal closed category 2.) The corresponding completion for preorders is the so-called dcpo completion.

Crystallography in two-dimensional metric spaces*

1969 ◽  
Vol 130 (1-6) ◽  
pp. 277-303 ◽  
Author(s):  
Aloysio Janner ◽  
Edgar Ascher
Keyword(s):  
Metric Spaces ◽  
Two Dimensional

Solution of Volterra integral inclusion in b-metric spaces via new fixed point theorem

2016 ◽  
Vol 2017 (1) ◽  
pp. 17-30 ◽  
Author(s):  
Muhammad Usman Ali ◽  
◽  
Tayyab Kamran ◽  
Mihai Postolache ◽  
◽  
...  
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Point Theorem ◽  
Metric Spaces ◽  
Integral Inclusion

ON THE QUANTIFICATION OF UNIFORM PROPERTIES.PART 2

2001 ◽  
Vol 37 (1-2) ◽  
pp. 169-184
Author(s):  
B. Windels
Keyword(s):  
Metric Spaces ◽  
Uniform Spaces ◽  
Complete Metric Spaces ◽  
The Subject

In 1930 Kuratowski introduced the measure of non-compactness for complete metric spaces in order to measure the discrepancy a set may have from being compact.Since then several variants and generalizations concerning quanti .cation of topological and uniform properties have been studied.The introduction of approach uniform spaces,establishes a unifying setting which allows for a canonical quanti .cation of uniform concepts,such as completeness,which is the subject of this article.

Some Common Fixed Point Theorem in Complete Metric Space of Integral Type

2018 ◽  
Vol 6 (8) ◽  
pp. 297
Author(s):  
Jagdish C. Chaudhary ◽  
Shailesh T. Patel
Keyword(s):  
Fixed Point ◽  
Common Fixed Point ◽  
Fixed Point Theorems ◽  
Metric Spaces ◽  
Complete Metric Space ◽  
Contractive Condition ◽  
Integral Type ◽  
Complete Metric Spaces ◽  
Common Fixed Point Theorems ◽  
Common Fixed Point Theorem

In this paper, we prove some common fixed point theorems in complete metric spaces for self mapping satisfying a contractive condition of Integral  type.

On Asymmetric Distances

2013 ◽  
Vol 1 ◽  
pp. 200-231 ◽  
Author(s):  
Andrea C.G. Mennucci
Keyword(s):  
Total Variation ◽  
Calculus Of Variations ◽  
Distance Function ◽  
Metric Space ◽  
Metric Spaces ◽  
Geodesic Segment ◽  
Intrinsic Metric ◽  
Typical Application ◽  
Variation Formula

Abstract In this paper we discuss asymmetric length structures and asymmetric metric spaces. A length structure induces a (semi)distance function; by using the total variation formula, a (semi)distance function induces a length. In the first part we identify a topology in the set of paths that best describes when the above operations are idempotent. As a typical application, we consider the length of paths defined by a Finslerian functional in Calculus of Variations. In the second part we generalize the setting of General metric spaces of Busemann, and discuss the newly found aspects of the theory: we identify three interesting classes of paths, and compare them; we note that a geodesic segment (as defined by Busemann) is not necessarily continuous in our setting; hence we present three different notions of intrinsic metric space.

Some Fixed Point Theorems in G � Metric Spaces

2019 ◽  
Vol 10 (1) ◽  
pp. 151-158
Author(s):  
Bijay Kumar Singh ◽  
Pradeep Kumar Pathak
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorems ◽  
Metric Spaces
Sign in / Sign up

Export Citation Format

Share Document