pith. sign in

arxiv: 0903.2722 · v2 · submitted 2009-03-16 · 🧮 math.CT

'Hausdorff distance' via conical cocompletion

classification 🧮 math.CT
keywords cocompletioncategoriesclassconicalfreefullhausdorffkz-doctrine
0
0 comments X
read the original 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].

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.