On lattices of generalized topologies
For a functor on the category of metrizable compacta, we introduce a conception of a linear functorial operator extending (for each ) pseudometrics from onto (briefly LFOEP for ). The main result states that the functor of -symmetric power admits a LFOEP if and only if the action of on has a one-point orbit. Since both the hyperspace functor and the probability measure functor contain as a subfunctor, this implies that both and do not admit LFOEP.
For some pairs (X,A), where X is a metrizable topological space and A its closed subset, continuous, linear (i.e., additive and positive-homogeneous) operators extending metrics for A to metrics for X are constructed. They are defined by explicit analytic formulas, and also regarded as functors between certain categories. An essential role is played by "squeezed cones" related to the classical cone construction. The main result: if A is a nondegenerate absolute neighborhood retract for metric spaces,...