On the categorical meaning of Hausdorff and Gromov distances. I.

DOI10.1016/J.TOPOL.2009.06.018MaRDI QIDQ972523zbMATH OpenOpenAlexFDO

Authors Andrei Akhvlediani, Maria Manuel Clementino, Walter Tholen

Publication date 19 May 2010

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0901.0618

zbMATH Keywords

Hausdorff metric\(\mathcal{V}\)-category\(\mathcal{V}\)-moduleGromov metricLawvere metric space

Mathematics Subject Classification ID

Torsion theories, radicals (18E40)

Abstract: Hausdorff and Gromov distances are introduced and treated in the context of categories enriched over a commutative unital quantale V. The Hausdorff functor which, for every V-category X, provides the powerset of X with a suitable V-category structure, is part of a monad on V-Cat whose Eilenberg-Moore algebras are order-complete. The Gromov construction may be pursued for any endofunctor K of V-Cat. In order to define the Gromov "distance" between V-categories X and Y we use V-modules between X and Y, rather than V-category structures on the disjoint union of X and Y. Hence, we first provide a general extension theorem which, for any K, yields a lax extension K to the category V-Mod of V-categories, with V-modules as morphisms.

Recommendations

• Metric spaces, generalized logic, and closed categories
• Completions of non-symmetric metric spaces via enriched categories
• Topology from enrichment: the curious case of partial metrics
• Met-like categories amongst concrete topological categories
• Enriched categories and quasi-uniform spaces

Cites work

• scientific article; zbMATH DE number 2125656 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 2068083 (Why is no real title available?)
• scientific article; zbMATH DE number 1796614 (Why is no real title available?)
• scientific article; zbMATH DE number 2172006 (Why is no real title available?)
• A course in metric geometry
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Groups of polynomial growth and expanding maps. Appendix by Jacques Tits
• Introduction to extensive and distributive categories
• Lawvere completeness in topology
• Lawvere completion and separation via closure
• Metric structures for Riemannian and non-Riemannian spaces. Transl. from the French by Sean Michael Bates. With appendices by M. Katz, P. Pansu, and S. Semmes. Edited by J. LaFontaine and P. Pansu
• One setting for all: Metric, topology, uniformity, approach structure
• ``Hausdorff distance via conical cocompletion

Cited in

(19)

• The rise and fall of \(V\)-functors
• Lax distributive laws for topology, II
• Hyperspace of a fuzzy quasi-uniform space
• Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
• Met-like categories amongst concrete topological categories
• Probability, valuations, hyperspace: three monads on Top and the support as a morphism
• scientific article; zbMATH DE number 7645026 (Why is no real title available?)
• Kleisli enriched
• The Wijsman structure of a quantale-valued metric space
• ``Hausdorff distance via conical cocompletion
• Metric, topology and multicategory -- a common approach
• Homotopical models for metric spaces and completeness
• Metagories
• Quantalic topological theories
• On the metrical and quantalic versions of the \(\ast\)-autonomous category of sup-lattices
• Hausdorff coalgebras
• Quantale-valued Wijsman convergence
• Extending set functors to generalised metric spaces
• Metric spaces, generalized logic, and closed categories

This page was built for publication: On the categorical meaning of Hausdorff and Gromov distances. I.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q972523)