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

DOI10.1016/J.TOPOL.2009.06.018zbMATH Open1226.18013arXiv0901.0618OpenAlexW2147610425MaRDI QIDQ972523FDOQ972523

Authors: Andrei Akhvlediani, Maria Manuel Clementino, Walter Tholen 

Publication date: 19 May 2010

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

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.

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Torsion theories, radicals (18E40)

Cites Work

• A course in metric geometry
• Groups of polynomial growth and expanding maps. Appendix by Jacques Tits
• Title not available (Why is that?)
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Introduction to extensive and distributive categories
• One setting for all: Metric, topology, uniformity, approach structure
• ``Hausdorff distance via conical cocompletion
• Title not available (Why is that?)
• 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
• Lawvere completeness in topology
• Lawvere completion and separation via closure
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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}\)
• Probability, valuations, hyperspace: three monads on Top and the support as a morphism
• Met-like categories amongst concrete topological categories
• Title not available (Why is that?)
• The Wijsman structure of a quantale-valued metric space
• Kleisli enriched
• ``Hausdorff distance via conical cocompletion
• Homotopical models for metric spaces and completeness
• Metric, topology and multicategory -- a common approach
• Metagories
• On the metrical and quantalic versions of the \(\ast\)-autonomous category of sup-lattices
• Quantalic topological theories
• Quantale-valued Wijsman convergence
• Extending set functors to generalised metric spaces
• Hausdorff coalgebras
• 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)