'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