On the openness of functors of \(k\)-nonexpanding and weakly additive functionals (Q2259479): Difference between revisions

The author continues her study from \textit{L. Karchevska} and \textit{T. Radul} [Mat. Stud. 31, No. 2, 135--141 (2009; Zbl 1199.18007)] on some properties of endofunctors on the category \textbf{Comp} of compact Hausdorff spaces. She starts with constructing two endofunctors on \textbf{Comp} in the following way. Given a \textbf{Comp}-object \(X\), \(C(X)\) stands for the Tychonoff space of all continuous real-valued maps on \(X\), equipped with the standard norm \(\|\varphi\|=\sup\{|\varphi(x)|\mid x\in X\}\), which generates a metric \(d\) on \(C(X)\) by \(d(\varphi,\psi)=\sup\|\varphi-\psi\|\). Both functors then take a space \(X\) to the set of functionals \(\nu:C(X)\rightarrow\mathbb{R}\) with certain properties (different for each of them), and a continuous map \(f:X\rightarrow Y\) to the map \(Ff:FX\rightarrow FY\) (where \(F\) denotes the functor in question), which is given by composition, i.e., \((Ff(\nu))(\varphi)=\nu(\varphi\circ f)\) for every \(\nu\in FX\) and every \(\varphi\in C(Y)\). The main result of the paper (Corollary~2 on page~1742) then states that the two constructed functors are not open (namely, do not preserve open maps between spaces). One of the main tools in proving this result is the concept of \textit{bicommutative diagram}, which is nothing else than \textit{weak pullback} \textit{D. Hofmann} (ed.) et al. [Monoidal topology. A categorical approach to order, metric, and topology. Encyclopedia of Mathematics and its Applications 153. Cambridge: Cambridge University Press (2014; Zbl 1297.18001)]. The paper is well written (providing reasonable amount of preliminaries), and will be of interest to all those categorical topologists, who will disregard the somewhat weird categorical terminology of the author.