``Hausdorff distance via conical cocompletion
From MaRDI portal
Publication:3574404
zbMATH Open1260.18009arXiv0903.2722MaRDI QIDQ3574404FDOQ3574404
Authors: Isar Stubbe 
Publication date: 9 July 2010
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].
Full work available at URL: https://arxiv.org/abs/0903.2722
Recommendations
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)
Cited In (11)
- Lax distributive laws for topology, II
- An introduction to quantaloid-enriched categories
- CONNES DISTANCE BY EXAMPLES: HOMOTHETIC SPECTRAL METRIC SPACES
- Approximation in quantale-enriched categories
- 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.
- Quantalic topological theories
- Extending set functors to generalised metric spaces
- Hausdorff coalgebras
- Completely distributive enriched categories are not always continuous
- Title not available (Why is that?)
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)
