There is no monad based on Hartman-Mycielski functor

DOI10.1007/S12044-013-0159-YMaRDI QIDQ2452167zbMATH OpenOpenAlexFDO

Authors L. I. Karchevska, Iryna Peregnyak, Taras Radul

Publication date 30 May 2014

Published in Proceedings of the Indian Academy of Sciences. Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1212.1312

zbMATH Keywords

(pseudo)metriccompact Hausdorff spaceHartman-Mycielski constructionmonadnatural transformationnormal functoruniform space

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical methods in general topology (54B30) Compactness (54D30) Uniform structures and generalizations (54E15)

Abstract: We show that there is no monad based on the normal functor $H$ introduced earlier by Radul which is a certain functorial compactification of the Hartman-Mycielski construction $HM$.

Review text

Given a topological space \(X\) and an admissible metric \(d\) on \(X\) bounded by \(1\), \(HM(X)\) denotes the space of all maps from the half-open interval \([0,1)\) to \(X\) such that \(f|_{[t_i,\,t_{i+1})}\equiv\text{const}\) for some \(0=t_0\leqslant\ldots\leqslant t_n=1\) with respect to the metric \(d_{HM}(f,g)=\int\limits_0^1d(f(t),g(t))dt\) for every \(f,g\in HM(X)\). \(HM(X)\) is known as the Hartman-Mycielski construction~[\textit{S. Hartman} and \textit{J. Mycielski}, Colloq. Math. 5, 167--169 (1958; Zbl 0086.02601)]. This construction was employed in~[\textit{A. Teleiko} and \textit{M. Zarichnyi}, Categorical topology of compact Hausdorff spaces. Mathematical Studies Monograph Series. 5. Lviv: VNTL Publishers. (1999; Zbl 1032.54004)], to get a family \(\mathcal{F}\) of normal functors (in the sense of~[\textit{E. V. Shchepin}, Russ. Math. Surv. 36, No. 3, 1--71 (1981; Zbl 0487.54011)]) on the category \textbf{Comp} of compact Hausdorff spaces (one notices that, in general, the space \(HM(X)\) is not compact). In~[\textit{T. M. Radul}, Mat. Stud. 19, No. 2, 201--207 (2003; Zbl 1023.54017)], one constructed a normal functor \(H\), which contained all the elements of \(\mathcal{F}\) as subfunctors. The present paper shows that the functor \(H\) can not be extended to a monad on \textbf{Comp}. This result follows from Theorem~4.2 on page~125, the proof of which is based in a number of technical lemmas. The paper itself is rather technical in nature and its language is quite concise. It is, however, well written, and will be of interest to categorical topologists.

Recommendations

• Hartman-Mycielski functor of non-metrizable compacta
• scientific article; zbMATH DE number 16374
• scientific article; zbMATH DE number 525454
• Categorical topology of compact Hausdorff spaces
• scientific article; zbMATH DE number 1428869

Cites work

• A normal functor based on the Hartman-Mycielski construction
• Adjoint functors and triples
• Categorical topology of compact Hausdorff spaces
• Hartman-Mycielski functor of non-metrizable compacta
• scientific article; zbMATH DE number 20265 (Why is no real title available?)
• scientific article; zbMATH DE number 1009453 (Why is no real title available?)
• Monads in the category of compacta
• On the imbedding of topological groups into connected topological groups
• On topological properties of the Hartman-Mycielski functor

Cited in

(3)

• Monads and tensor products
• On the openness of functors of \(k\)-nonexpanding and weakly additive functionals
• Hartman-Mycielski functor of non-metrizable compacta

This page was built for publication: There is no monad based on Hartman-Mycielski functor

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2452167)