'Hausdorff distance' via conical cocompletion - Archive ouverte HAL
Article Dans Une Revue Cahiers de topologie et géométrie différentielle catégoriques Année : 2010

'Hausdorff distance' via conical cocompletion

Résumé

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

Dates et versions

hal-03606831 , version 1 (12-03-2022)

Identifiants

Citer

Isar Stubbe. 'Hausdorff distance' via conical cocompletion. Cahiers de topologie et géométrie différentielle catégoriques, 2010, 51 (1), pp.51-76. ⟨hal-03606831⟩
36 Consultations
0 Téléchargements

Altmetric

Partager

More