{"entities":{"Q5956929":{"pageid":8133731,"ns":120,"title":"Item:Q5956929","lastrevid":47752066,"modified":"2026-01-02T14:46:30Z","type":"item","id":"Q5956929","labels":{"en":{"language":"en","value":"Functional representations of Lawson monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1713834"}},"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":"Q5956929$F321B3B0-47B3-4388-954F-6D663757FE32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b16599d983c161f881c636a03e488f84718d2a3","datavalue":{"value":{"text":"Functional representations of Lawson monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5956929$3071AC2C-880C-423A-88FE-9DF886EC6C63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"412b86d46cfe905762b597ab411af1f1139fb5e6","datavalue":{"value":"1006.18009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956929$1E368A8D-FD84-437B-908E-00CDD22EF36D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db2cb2924ed763b5cfdd5e0b77dc677d7aa06d9f","datavalue":{"value":"10.1023/A:1012052928198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956929$F7383EAD-B1BC-4562-ADA0-9A378A435B8F","rank":"normal"}],"P16":[{"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":"Q5956929$8A29F21E-AB77-4276-A286-6DBB38038212","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956929$13606B3A-ED53-4E9B-9A13-1F7A9ACF3563","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce2585b4e1d731a09b5096d8b68316982ce988f7","datavalue":{"value":{"time":"+2003-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5956929$7E3DABBE-92BF-48A6-A67C-6A2E6601DF72","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40697093ca168d66db796e0ba46c9b66102b0617","datavalue":{"value":"The category of compact Haussdorff spaces is denoted by \\({\\mathcal C}omp\\): A Lawson monad is a monad \\(\\mathbb{F}=(F,\\eta,\\mu)\\) on \\({\\mathcal C}omp\\) such that, for any \\(t\\in\\mathbb{R}_+\\), the closed interval \\(I_t=[-t,t]\\) is equipped with some \\(\\mathbb{F}\\)-algebra structure in such a way that, for any \\(t_1\\leq t_2\\) in \\(\\mathbb{R}_+\\), \\(I_{t_1}\\) is a \\(\\mathbb{F}\\)-subalgebra of \\(I_{t_2}\\) and, for each object \\(X\\) of \\({\\mathcal C}omp\\), there exists a point-separating family of \\(\\mathbb{F}\\)-algebra morphisms \\((f_\\alpha:F(X)\\to I_\\alpha)_{\\alpha\\in A}\\). The monad \\(\\mathbb{V}=(V, \\eta,\\mu)\\) on \\({\\mathcal C}omp\\) defined, for an object \\(X\\), by \\(V(X)=\\prod_{\\Phi\\in C^0(X,\\mathbb{R})}I_{\\|\\Phi\\|}\\), and in a natural way on morphisms, is such a Lawson monad. It is proved that the Lawson monads are precisely the submonads of the monad \\(\\mathbb{V}\\). Such an embedding of submonad is characterized in the case of the inclusion hyperspace monad \\(\\mathbb{G}\\). Other examples of Lawson monads are given: Vietoris monad \\(\\mathbb{H}\\), probability measure monad \\(\\mathbb{P}\\), superextension monad \\(\\mathbb{L}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956929$3E1393A3-65E9-402F-B72A-9B9036FC912B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5f23a2b26154ae1e4026bd6fa194d4b76df2fa47","datavalue":{"value":{"entity-type":"item","numeric-id":171472,"id":"Q171472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956929$1C76CB2C-7ED6-4E87-BBCB-0ED1AEDB7801","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956929$75EE788A-F755-4B27-8E05-C538880C08CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956929$55340B7F-AE5D-4E84-A5FE-7E64DA4A1845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50e54321cc80124293b2516610b1f4290bd18505","datavalue":{"value":"54C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956929$97F69B0F-6092-47E8-B378-0E186C04D62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956929$E6B711C5-CFE8-4CD3-8170-1CDCE9D50063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22f6515862d65ad9500ac3caa68226d392f0bfa9","datavalue":{"value":"1713834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956929$EF4C5B1C-8F54-4766-BE97-2D342B5A1785","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c11e9062c022003623eb8571734654b4f5601ff","datavalue":{"value":"functional representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956929$E6232E61-474E-40FD-874F-3AA0A0FDB7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"025c808224ef9369e1ab1e89dd0d074b566c7a5f","datavalue":{"value":"compact Haussdorff spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956929$BACAF182-2B63-49D5-BA5B-6FEF05428D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"947aed4399848490fdd3adcc92a5b2de59b61966","datavalue":{"value":"Lawson monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956929$946AA492-1037-415C-88AD-6228AFDD9216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cc6034b57bef2de1f0ff1fe81411c20538aae86","datavalue":{"value":"inclusion hyperspace monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956929$92E7AC98-5E9C-4770-92F5-1BAD7D529B68","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":"Q5956929$329EB448-C328-4F35-853C-747A599381A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a81a1f8269798919f8f3eb407e7a66d848675b9","datavalue":{"value":"https://doi.org/10.1023/a:1012052928198","type":"string"},"datatype":"url"},"type":"statement","id":"Q5956929$74A6806A-B144-4FF8-A51D-0206271DC2B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ea1ee84661c2754fe6ac5564ad982c200f76c06","datavalue":{"value":"W1690258309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956929$9A1678FC-FC71-4105-ADD4-693D36CA1A03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d945a0fcf6ef701bf5c729f9980c9ec88151002","datavalue":{"value":{"entity-type":"item","numeric-id":4884283,"id":"Q4884283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8442ff9fd67e27a48732c8c4daeba417f4c5adcd","datavalue":{"value":{"amount":"+0.8202723860740662","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":"Q5956929$277F36EF-2E51-475E-8091-9BFDE591DC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0eba5348d382d4d25d767bd3f7260680cbf4a94","datavalue":{"value":{"entity-type":"item","numeric-id":647450,"id":"Q647450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c054a3f5fcb3ec8e0a49163db3892f28150c7ace","datavalue":{"value":{"amount":"+0.8198175430297852","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":"Q5956929$E07CB4B3-F4F8-4C48-A6DB-94C489468B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5801ef1e9a8df7b51421c006477d7bbf44406153","datavalue":{"value":{"entity-type":"item","numeric-id":5899937,"id":"Q5899937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08aa467f89329fef4b28b0b4ab85c21126c77764","datavalue":{"value":{"amount":"+0.7827696800231934","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":"Q5956929$54E5F854-46DA-413A-B4AE-F99D9D68A423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff040717e732a69c4d20f4791f0bba65254c0f92","datavalue":{"value":{"entity-type":"item","numeric-id":2307527,"id":"Q2307527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056060fb704e8c5b11beaa9c6de1a5f1a7b02ae3","datavalue":{"value":{"amount":"+0.7773891687393188","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":"Q5956929$031709CD-C6A8-4490-8402-B83DEBBDFDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2bdbd0165c3dd843bde030ceed886ec6d0af3ca","datavalue":{"value":{"entity-type":"item","numeric-id":402859,"id":"Q402859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be33cfbc330b091f2022a9a0cdbb052fc40f9b0","datavalue":{"value":{"amount":"+0.7632648944854736","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":"Q5956929$99380B87-D6AE-4635-87B1-C8E21CD13CAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5956929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5956929"}}}}}