English

'Hausdorff distance' via conical cocompletion

Category Theory 2009-11-05 v2

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].

Cite

@article{arxiv.0903.2722,
  title  = {'Hausdorff distance' via conical cocompletion},
  author = {Isar Stubbe},
  journal= {arXiv preprint arXiv:0903.2722},
  year   = {2009}
}

Comments

Minor changes

R2 v1 2026-06-21T12:40:59.525Z