Topology from enrichment: the curious case of partial metrics

zbMath1407.18008arXiv1607.02269MaRDI QIDQ4611028

Isar Stubbe, Dirk Hofmann

Publication date: 23 January 2019

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

zbMATH Keywords

metrictopologydivisibilitypartialenriched categoryquantaloid

Mathematics Subject Classification ID

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

Related Items (6)

The double power monad is the composite power monad ⋮ Diagonals between \(\mathcal{Q}\)-distributors ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The topology of a quantale valued metric space ⋮ Two types of Galois correspondences over quantaloid-typed sets

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