On lattices of continuous order-preserving functions
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,...
Among completely regular locales, we characterize those that have the feature described in the title. They are, of course, localic analogues of what are called -isocompact spaces. They have been considered in T. Dube, I. Naidoo, C. N. Ncube (2014), so here we give new characterizations that do not appear in this reference.