``Hausdorff distance via conical cocompletion

MaRDI QIDQ3574404zbMATH OpenFDO

Authors Isar Stubbe

Publication date 9 July 2010

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

zbMATH Keywords

Hausdorff distanceenriched categorycocompletionKZ-doctrine

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Eilenberg-Moore and Kleisli constructions for monads (18C20) Enriched categories (over closed or monoidal categories) (18D20)

Abstract: In the context of quantaloid-enriched categories, we explain how each saturated class of weights defines, and is defined by, an essentially unique full sub-KZ-doctrine of the free cocompletion KZ-doctrine. The KZ-doctrines which arise as full sub-KZ-doctrines of the free cocompletion, are characterised by two simple "fully faithfulness" conditions. Conical weights form a saturated class, and the corresponding KZ-doctrine is precisely (the generalisation to quantaloid-enriched categories of) the Hausdorff doctrine of [Akhvlediani et al., 2009].

Recommendations

• On the categorical meaning of Hausdorff and Gromov distances. I.
• Hausdorff coalgebras
• scientific article; zbMATH DE number 2172965
• scientific article; zbMATH DE number 7731060
• Tightly bounded completions

Cited in

(11)

• Hausdorff coalgebras
• An introduction to quantaloid-enriched categories
• Approximation in quantale-enriched categories
• Completely distributive enriched categories are not always continuous
• Quantalic topological theories
• scientific article; zbMATH DE number 7731060 (Why is no real title available?)
• Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
• On the categorical meaning of Hausdorff and Gromov distances. I.
• Lax distributive laws for topology, II
• CONNES DISTANCE BY EXAMPLES: HOMOTHETIC SPECTRAL METRIC SPACES
• Extending set functors to generalised metric spaces

This page was built for publication: ``Hausdorff distance via conical cocompletion

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