The -metrization of functors with finite supports
Let and be a functor with finite supports in the category of sets. Given a non-empty metric space , we introduce the distance on the functor-space as the largest distance such that for every and the map , , is non-expanding with respect to the -metric on . We prove that the distance is a pseudometric if and only if the functor preserves singletons; is a metric if preserves singletons and one of the following conditions holds: (1) the metric space is Lipschitz disconnected, (2) , (3) the functor has finite degree, (4) preserves supports. We prove that for any Lipschitz map between metric spaces the map is Lipschitz with Lipschitz constant . If the functor is finitary, has finite degree (and preserves supports), then preserves uniformly continuous function, coarse functions, coarse equivalences, asymptotically Lipschitz functions, quasi-isometries (and continuous functions). For many dimension functions we prove the formula . Using injective envelopes, we introduce a modification of the distance and prove that the functor , , in the category of distance spaces preserves Lipschitz maps and isometries between metric spaces.