Autor(es):
Akhvlediani, Andrei 
; Clementino, Maria Manuel ; Tholen, Walter
Data: 2009
Identificador Persistente: http://hdl.handle.net/10316/11196
Origem: Estudo Geral - Universidade de Coimbra
Detalhes do Documento
On the categorical meaning of Hausdorff and Gromov distances, I
Descrição
Hausdor and Gromov distances are introduced and treated in the context of categories enriched over a commutative unital quantale V. The Hausdor functor which, for every V-category X, provides the powerset of X with a suitable V-category structure, is part of a monad on V-Cat whose Eilenberg-Moore algebras are order-complete. The Gromov construction may be pursued for any endofunctor K of V-Cat. In order to de ne the Gromov \distance" between V-categories X and Y we use V-modules between X and Y , rather than V-category structures on the disjoint union of X and Y . Hence, we rst provide a general extension theorem which, for any K, yields a lax extension ~K to the category V-Mod of V-categories, with V-modules as morphisms. NSERC; Center of Mathematics of the University of Coimbra/FCT;
Hausdor and Gromov distances are introduced and treated in the context of categories enriched over a commutative unital quantale V. The Hausdor functor which, for every V-category X, provides the powerset of X with a suitable V-category structure, is part of a monad on V-Cat whose Eilenberg-Moore algebras are order-complete. The Gromov construction may be pursued for any endofunctor K of V-Cat. In order to de ne the Gromov \distance" between V-categories X and Y we use V-modules between X and Y , rather than V-category structures on the disjoint union of X and Y . Hence, we rst provide a general extension theorem which, for any K, yields a lax extension ~K to the category V-Mod of V-categories, with V-modules as morphisms. NSERC; Center of Mathematics of the University of Coimbra/FCT;
Tipo de Documento
Preprint
Idioma Inglês
Idioma Inglês
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||