{"entities":{"Q2452167":{"pageid":2462910,"ns":120,"title":"Item:Q2452167","lastrevid":57928119,"modified":"2026-04-03T03:08:01Z","type":"item","id":"Q2452167","labels":{"en":{"language":"en","value":"There is no monad based on Hartman-Mycielski functor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6299127"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$8CCBB71A-9FE0-4985-9B4D-47900B64FB66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b572278f10f300db9e6542c46cc6de197dfedbf","datavalue":{"value":{"text":"There is no monad based on Hartman-Mycielski functor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2452167$CAD4A32C-BC35-44EE-BE6E-682510D8F10F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f98a6ed6beb5af4ef07a43ac56c2b501bf081f4f","datavalue":{"value":"1294.54013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452167$E5CD308E-7289-4033-8750-43B8F3353D86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afb6f930867faf8f2aa1968f9957c668d2f3a619","datavalue":{"value":{"entity-type":"item","numeric-id":2259478,"id":"Q2259478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$14FB8CB8-3A1D-4AEB-8E3D-41DF6C676FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c86e09f81c538cdf3ebd1273d5a8e16440c053b","datavalue":{"value":{"entity-type":"item","numeric-id":2452166,"id":"Q2452166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$057D49C9-4178-4BA9-B4D5-AF1192B241F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56881cf89fea90e95cd02fd1a7f11938d2f4ef68","datavalue":{"value":{"entity-type":"item","numeric-id":232622,"id":"Q232622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$F0E54757-878A-4620-90B0-214B7402CC6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b00e4ca9eb1ad6164f179f3715d6f959f38598a","datavalue":{"value":{"entity-type":"item","numeric-id":180489,"id":"Q180489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$6D510093-CD8F-4DDC-A76D-E5F617E83119","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"649d29a1af63bfd75156650d4f6dce2ca072e7db","datavalue":{"value":{"time":"+2014-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2452167$B9F96866-8F5E-40E3-BF4D-B176712E0D6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb519f52f42f11d88753840974d81198782b9a10","datavalue":{"value":"https://arxiv.org/abs/1212.1312","type":"string"},"datatype":"url"},"type":"statement","id":"Q2452167$B7CD6080-99C1-4FF1-8665-54C97B153695","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"52268fc006554d6c5b0bb574297a6a98fc615a39","datavalue":{"value":"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.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452167$8E1DD444-B514-4755-9003-BEBB860EDE93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452167$D3E9FD32-08D2-4A2A-B93D-011D7869318C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452167$5AE0E63B-9C28-421D-9C0E-95CE673856A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"752abe8b003b6f8f5061b539a8ad0dcffa6c0d03","datavalue":{"value":"54E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452167$9F1823AD-B4E9-4B70-8DDB-B91A4D790841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452167$6B969F84-7327-411C-9F23-12484219A6E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd82d496ef62713390ad7b5d989009a8b2b0b9eb","datavalue":{"value":"6299127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452167$E57DB8CB-EAD6-4D26-9018-5B95E276DC06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f93a2af3645f3ee0651dfa1749a65fe5af062c","datavalue":{"value":"compact Hausdorff space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452167$182D9E7D-1579-4BD3-94A1-7B97B095B731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6af49ff2fd040efed60f22b33497dd7e16bb65f","datavalue":{"value":"Hartman-Mycielski construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452167$95A3C775-3AAC-414E-A157-7F532D7AEC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452167$307454C3-F77D-4702-B73C-26DFA3D4FA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5be73e71e13466ccce6dc6527b4ba098213ee5","datavalue":{"value":"natural transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452167$71218296-69EA-40D5-995A-CF737FBDE2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"748a956a3a47d47b600259e21fe77268a2d0f524","datavalue":{"value":"normal functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452167$9A728A08-77AE-4577-8F83-28FD8B7DE701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5052755c6070be482e9f2b76dbf87c6c6f488925","datavalue":{"value":"(pseudo)metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452167$B94FED9F-23F3-4586-B59E-5B47B37350C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4484c24653bfd1a89dfc85b132d2f51b3c7560a9","datavalue":{"value":"uniform space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452167$BD92F477-4CFD-4807-8DD2-8C769F4BCA4D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7d067c039d76d8162114efbe354faa93c02c9fe2","datavalue":{"value":{"entity-type":"item","numeric-id":277551,"id":"Q277551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$C3CC62C8-D39C-47EF-9655-2ABFE87C78C9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$9EBF1EA2-0377-40D2-8C63-91C348970B3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a2dae2879f118b8babe1839e6de1df3f3650962","datavalue":{"value":"W2023801186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452167$8AAB3625-68CB-4061-AD9F-5D3FD2476F85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfebed2dfd055b7c0ce0c9700bf4142282266dbc","datavalue":{"value":{"entity-type":"item","numeric-id":2520849,"id":"Q2520849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$D32835B6-D1EB-4973-9611-E7B045304035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22c79a22c190724926100fb5d50e0631c887c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3979616,"id":"Q3979616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$83272F27-7879-450F-BDC1-56A7E58E9DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f9370f554e5a4faed5962a8cf264b1977833c0","datavalue":{"value":{"entity-type":"item","numeric-id":3257174,"id":"Q3257174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$42310A6F-CED3-4085-94CE-234BFE928599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a278c8ea13376789c7449786420233769edcee57","datavalue":{"value":{"entity-type":"item","numeric-id":1398642,"id":"Q1398642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$8D39C79A-993E-432B-B6D6-235D782DD201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c7d120cbe16cfdc4e2ad4827de14982daf86ef","datavalue":{"value":{"entity-type":"item","numeric-id":812173,"id":"Q812173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$00C8C9AE-2749-40D5-9B51-64B2DD9E959A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26bc21cc01a826103fa5ec0d44d48aaddb6ddc72","datavalue":{"value":{"entity-type":"item","numeric-id":949466,"id":"Q949466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$B105E63D-AF02-4002-A67E-4043537B90F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231fcd8226c2268644971eb2e9c4f214a651f84e","datavalue":{"value":{"entity-type":"item","numeric-id":4884283,"id":"Q4884283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$252D992C-D47C-4614-A16C-27C08EE9C0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"812e0f8d8b95435de33a5c218fff4f89c70a69dc","datavalue":{"value":{"entity-type":"item","numeric-id":2740463,"id":"Q2740463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$59616FEF-B14D-4C25-9E7E-02410DF31569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed0791ea05f67aa1fe3a34d08d1898da415b512","datavalue":{"value":{"entity-type":"item","numeric-id":4336686,"id":"Q4336686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452167$AE2FD8F3-A271-463B-BD40-DB9932E09246","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4746a0a368bcee0fff11a91a045093ec28e1c4ca","datavalue":{"value":"10.1007/S12044-013-0159-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452167$6B370C76-6E71-4F4C-9CF4-E5EE68786E97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6633f84c002f2e52accba58d6f7c48b8571cfb50","datavalue":{"value":{"entity-type":"item","numeric-id":949466,"id":"Q949466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fed6e7e0136d7ac00bcff8921f604f779ab891","datavalue":{"value":{"amount":"+0.7906203866004944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2452167$C7301DA8-1E1F-47C5-9BC4-BDFD314F50FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3917d4bf269ef4607e2a866aa035e9e24ce92330","datavalue":{"value":{"entity-type":"item","numeric-id":3973028,"id":"Q3973028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b06515d5fac52b9cc13fc87b40e0966f6181169","datavalue":{"value":{"amount":"+0.7885701060295105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2452167$B551E648-9CD7-4E09-9601-AE3AD7D1C98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fde8dc9aef8165ef5a4d091ce35c890c1b22ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4284902,"id":"Q4284902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea6ee43896c3a93ba103de899e0cdaebb4f38cc","datavalue":{"value":{"amount":"+0.7860465049743652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2452167$6F0E7F35-C6B9-4B4C-9466-4E35BA9ADB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f446f8f68ac413ae8c4245148723c0058f4e80","datavalue":{"value":{"entity-type":"item","numeric-id":2740463,"id":"Q2740463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f78f877071951a764c117a64360c7a67f3da32","datavalue":{"value":{"amount":"+0.7802522778511047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2452167$2BD0A90D-C705-4F96-9ECF-9E849AAA42BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7cc5fa8fa17cb6ed5576fe5b7a4c5a18e745a23","datavalue":{"value":{"entity-type":"item","numeric-id":4948111,"id":"Q4948111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f78f877071951a764c117a64360c7a67f3da32","datavalue":{"value":{"amount":"+0.7802522778511047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2452167$DF61D3D0-D9B4-4E54-BFDC-1C05EE947516","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2452167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2452167"}}}}}