Topology from enrichment: the curious case of partial metrics

zbMATH Open1407.18008arXiv1607.02269MaRDI QIDQ4611028FDOQ4611028

Authors: Isar Stubbe, Dirk Hofmann 

Publication date: 23 January 2019

Abstract: For any small quantaloid $Q$, there is a new quantaloid $D(Q)$ of diagonals in $Q$. If $Q$ is divisible then so is $D(Q)$ (and vice versa), and then it is particularly interesting to compare categories enriched in $Q$ with categories enriched in $D(Q)$. Taking Lawvere's quantale of extended positive real numbers as base quantale, $Q$-categories are generalised metric spaces, and $D(Q)$-categories are generalised partial metric spaces, i.e. metric spaces in which self-distance need not be zero and with a suitably modified triangular inequality. We show how every small quantaloid-enriched category has a canonical closure operator on its set of objects: this makes for a functor from quantaloid-enriched categories to closure spaces. Under mild necessary-and-sufficient conditions on the base quantaloid, this functor lands in the category of topological spaces; and an involutive quantaloid is Cauchy-bilateral (a property discovered earlier in the context of distributive laws) if and only if the closure on any enriched category is identical to the closure on its symmetrisation. As this now applies to metric spaces and partial metric spaces alike, we demonstrate how these general categorical constructions produce the "correct" definitions of convergence and Cauchyness of sequences in generalised partial metric spaces. Finally we describe the Cauchy-completion, the Hausdorff contruction and exponentiability of a partial metric space, again by application of general quantaloid-enriched category theory.

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

Recommendations

• Characterization of quantale-valued metric spaces and quantale-valued partial metric spaces by convergence
• Convergence and quantale-enriched categories
• Lax distributive laws for topology. I
• Towards probabilistic partial metric spaces: diagonals between distance distributions
• scientific article; zbMATH DE number 7645026

zbMATH Keywords

topologymetricdivisibilityenriched categoryquantaloidpartial

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Enriched categories (over closed or monoidal categories) (18D20) Quantales (06F07)

Cited In (12)

• Convergence and quantale-enriched categories
• Quantales, generalised premetrics and free locales
• The double power monad is the composite power monad
• Title not available (Why is that?)
• The topology of a quantale valued metric space
• Diagonals between \(\mathcal{Q}\)-distributors
• On the categorical meaning of Hausdorff and Gromov distances. I.
• Title not available (Why is that?)
• Injective symmetric quantaloid-enriched categories
• Towards probabilistic partial metric spaces: diagonals between distance distributions
• Two types of Galois correspondences over quantaloid-typed sets
• Title not available (Why is that?)

This page was built for publication: Topology from enrichment: the curious case of partial metrics

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