On the categorical meaning of Hausdorff and Gromov distances. I. (Q972523): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q2731895 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction to extensive and distributive categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3156494 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lawvere completeness in topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: One setting for all: Metric, topology, uniformity, approach structure / rank
 
Normal rank
Property / cites work
 
Property / cites work: Groups of polynomial growth and expanding maps. Appendix by Jacques Tits / rank
 
Normal rank
Property / cites work
 
Property / cites work: 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 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lawvere completion and separation via closure / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934579 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4551182 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4679163 / rank
 
Normal rank
Property / cites work
 
Property / cites work: 'Hausdorff distance' via conical cocompletion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4464692 / rank
 
Normal rank

Revision as of 19:56, 2 July 2024

scientific article
Language Label Description Also known as
English
On the categorical meaning of Hausdorff and Gromov distances. I.
scientific article

    Statements

    On the categorical meaning of Hausdorff and Gromov distances. I. (English)
    0 references
    0 references
    0 references
    19 May 2010
    0 references
    \textit{F. W. Lawvere} [Rend. Sem. Mat. fis. Milano 43(1973), 135--166 (1974; Zbl 0335.18006), reprinted in Repr. Theory Appl. Categ. 2002, No.~1, 1--37, (2002; Zbl 1078.18501)] proposed to regard metric spaces as categories enriched over the symmetric monoidal closed category \(\mathbb{P} _{+}=\left( \left[ 0,\infty\right] ,+,0\right) \), and suggested [Rev. Colomb. Mat. 20, No.~3--4, 147--178 (1986; Zbl 0648.18001), reprinted in Repr. Theory Appl. Categ. 2005, No.~8, 1--24, (2005; Zbl 1072.18001)] that the Hausdorff and Gromov metrics should be developed for an arbitrary symmetric monoidal closed category \(\left(\mathcal{V},\otimes,k\right) \). In this paper the authors replace \(\mathbb{P}_{+}\) by a commutative and unital quantale \(\mathcal{V}\). The authors find that the guidance provided by enriched category theory [\textit{G. M. Kelly}, Lond. Math. Soc. Lect. Note Ser. 64 (1982; Zbl 0478.18005), reprinted in Repr. Theory Appl. Categ. 2005, No.~10, 1--136, (2005; Zbl 1086.18001)] is indispensable for answering such a question as which structure and properties of the extended non-negative real half-line allow for a meaningful treatment of Hausdorff and Gromov distances. So-called bimodules or distributors between \(\mathcal{V}\)-categories yield an elegant and powerful tool for their theory. They consider the Hausdorff monad of \(\mathcal{V}\mathrm{-Cat}\) and its lax extension to \(\mathcal{V}\)-modules, in which the Eilenberg-Moore categories are determined. The Gromov space of isomorphism classes of \(\mathcal{V}\)-categories, which is shown to carry internal monoid structures in the monoidal category \(\mathcal{V}\mathrm{-Cat}\), is presented as a colimit. The effects of symmetrization and the status of separation are also discussed. The fundamental question of transfer of Cauchy completeness from \(X\) to \(HX\), as well as the question of completeness of suitable subspaces of the Gromov space is relegated to a subsequent paper.
    0 references
    Lawvere metric space
    0 references
    \(\mathcal{V}\)-category
    0 references
    \(\mathcal{V}\)-module
    0 references
    Hausdorff metric
    0 references
    Gromov metric
    0 references

    Identifiers