{"entities":{"Q1100547":{"pageid":1111299,"ns":120,"title":"Item:Q1100547","lastrevid":42879716,"modified":"2025-07-15T16:12:04Z","type":"item","id":"Q1100547","labels":{"en":{"language":"en","value":"The superextension monad and its algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4044058"}},"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":"Q1100547$8541BC1C-8DFD-4335-A1D6-FEAC390F1441","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3ac72dcd6e2e7e936f739a6b284b25fb858f81a","datavalue":{"value":{"text":"The superextension monad and its algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1100547$A7B8F191-08C2-45D8-ACA7-22395524F7DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d8d69e8173a14c778107da82a206b4881527440","datavalue":{"value":"0641.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100547$210F2022-5B96-469F-BF2C-8A93CB501BAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ef483a54bdf97caa429dfd97ade16f4dcb8c802","datavalue":{"value":"10.1007/BF01057224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100547$58E68219-DA29-41B7-9FBC-B12894B27479","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c0466bf8ef14469f86c8db17e45659eb51aefea","datavalue":{"value":{"entity-type":"item","numeric-id":317357,"id":"Q317357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100547$39D89412-B60F-4F02-BED3-28B2B03AE83D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1100547$7C1D328F-7BC6-49FF-A808-A9436A0F4A99","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8cddea5becf8497ad23231e3880486088f2fce3","datavalue":{"value":"Let X be a compact space. By a subbase (or prebase) of X, the author means a set of closed subsets of X which (in analogy with open sets) generate the closed sets of X. A set of closed subsets of X is said to be a linked (or clustered) system if any two members of that set have a non- empty intersection. The superextension \\(\\lambda\\) (X) of X is a compact space consisting of all maximal linked systems of X and equipped with the so-called Wallman topology; every continuous mapping f from a compact space X to a compact space Y can be extended to a continuous mapping \\(\\lambda\\) (f) from \\(\\lambda\\) (X) to \\(\\lambda\\) (Y). The construction of superextensions gives rise to a monad (\\(\\lambda\\),\\(\\eta\\),\\(\\mu)\\) (in the sense of Eilenberg-Moore) in the category of continuous mappings between compact spaces. The author shows that the algebras for that monad are precisely the compact spaces each endowed with a fixed binary, almost normal, separated subbase.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100547$EF053669-6B48-48EE-8784-8BD7EEBCE51F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100547$F0DBE95B-31EF-4EDD-BAD1-34455C1B0475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100547$E85BE6AB-3254-4E4E-95E8-BE8197B1FBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100547$F01BD75B-1265-42E9-B0F9-9C4DB86E7A59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b06d3084bd2197e5fd01a1c301b222346ce2c54","datavalue":{"value":"4044058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100547$8F624683-BAA4-415B-8039-249FAE57D524","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8de89f93d050be5ec9254aca18b0150b55d7fa5f","datavalue":{"value":"supercompactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100547$12B7D508-0AAC-4B08-A083-D53FA871D3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"163e7b30ff310c0c9f62a9949314ff1414720ee4","datavalue":{"value":"superextension monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100547$54EEAD6C-A911-4576-BEBC-1805A4984411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a92b3801688833d095b4e2705069f2e67b60aa","datavalue":{"value":"subbase","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100547$F84A2A1D-40E8-48C9-8025-8B0E4B9E2F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50c4f0147582a5cc45ad45378b43c7e16b9abe9e","datavalue":{"value":"Wallman topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100547$67A956A7-77F0-463A-AA3E-A457C5185192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7917ad0351582603f8947e03749b4edeecc2e74","datavalue":{"value":"superextensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100547$6AB7008C-8E65-45F7-B2AD-7A4AE99F8BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d90b4ac0e14c3f633d2f614faef10d60a49a681c","datavalue":{"value":"category of continuous mappings between compact spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100547$C7A8811F-A308-4811-B943-791E4822F767","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"228db4eff38792d3827b3765a156b4653a2d4bec","datavalue":{"value":{"entity-type":"item","numeric-id":248782,"id":"Q248782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100547$7C6B901C-01D9-4BC2-A213-44D57ADDDA9F","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":"Q1100547$CD1F9158-0121-4B81-9852-D30292C8B319","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd50d6f8b592d9361f5716715251eb5a473fb61","datavalue":{"value":{"entity-type":"item","numeric-id":4194081,"id":"Q4194081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100547$475DAA29-C2DE-4AC1-BFC7-02F4DB2D0E9C","rank":"normal"},{"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":"Q1100547$9C11AC80-1AE7-4555-84AC-BB52BDD5C5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bf9c79cdf8e86a7c6dd61eb50c7e6b9c709aad8","datavalue":{"value":{"entity-type":"item","numeric-id":3857425,"id":"Q3857425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100547$2D022E80-1B52-472C-997E-D23E01777C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100547$F6F57B35-2CA0-4F1F-9CFD-9C7FF1251F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc930c3bafe7c3b07aa3d815cfd33f91ef874524","datavalue":{"value":{"entity-type":"item","numeric-id":3857426,"id":"Q3857426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100547$BC3F4E8F-8C93-44D2-B4B4-6579EC73269E","rank":"normal"}],"P1643":[{"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":"fa84d353494569470db651b73a4146fb71a8376f","datavalue":{"value":{"amount":"+0.9085755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1100547$2BABAAF4-761E-4DD2-9628-5A1A58F60612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a1d0a81aad2f6f382e82ad8d2720a8338c9dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3689850,"id":"Q3689850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97db187f6d787d78a9f11eabdec0486a5fd9af57","datavalue":{"value":{"amount":"+0.8988768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1100547$A67CFC13-AD4A-4D7B-AFF6-2C592DAFF005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d6641d1b48f3e7bd133e2cffe45805abae3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":1825193,"id":"Q1825193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe1a9fb9d52e14d652ffcb1ee9bec81b5fd73ef","datavalue":{"value":{"amount":"+0.89767355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1100547$D7C254EA-E88B-487C-8596-74380559C698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dde339661086ebfa73dfaf80ac2980a2ba3fd5a","datavalue":{"value":{"entity-type":"item","numeric-id":5322727,"id":"Q5322727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aba2541695734a7d6ae1ed5a3889c0f3784a7bf","datavalue":{"value":{"amount":"+0.89624333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1100547$10912ECA-053E-439F-AC5A-2E629339DFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a61fc64e525e4bc6c1b5b68df9caa103ec277b","datavalue":{"value":{"entity-type":"item","numeric-id":2888473,"id":"Q2888473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad21f1749f2457df1d7f55667c3cad8366819852","datavalue":{"value":{"amount":"+0.89436007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1100547$A72E031A-8218-4355-ADDF-12027CD33C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4889f133249511831accf0c9fd01cf7568bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":5235442,"id":"Q5235442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90bd55e07428dd3f0b721b71c906e350ff06595","datavalue":{"value":{"amount":"+0.89303035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1100547$486EBAB6-D230-4919-A52C-68BD27B16C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4fea76b128aa145af0c45832d3aa748a28806d","datavalue":{"value":{"entity-type":"item","numeric-id":3090860,"id":"Q3090860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92347ea8332b9335942ed36b0aa4a3f3cbc30e14","datavalue":{"value":{"amount":"+0.8899241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1100547$9C45BB36-45D8-499B-B74D-6787A149A505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d3dca46613c697fc7d01c17d3db9ebc86d42ccf","datavalue":{"value":{"entity-type":"item","numeric-id":3156494,"id":"Q3156494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda5be903619b0e5a664e4f08de718c6d3b2342c","datavalue":{"value":{"amount":"+0.8891343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1100547$8B66D4E3-B847-4E7A-9D2B-9ED62FC92862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414fad5aadc2b831fe387934712d2e259467b65b","datavalue":{"value":{"entity-type":"item","numeric-id":2397327,"id":"Q2397327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32da21bf744989e4ba4998ebc16aa02a3bb77b3","datavalue":{"value":{"amount":"+0.8884411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1100547$EE644F51-0E8B-454B-8F17-FAA0297FEB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ad88ec7f1c1d657f2946c7dfe9f2b61de28832","datavalue":{"value":{"entity-type":"item","numeric-id":3819069,"id":"Q3819069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b86ae680aab653b9bfe9925e1c8815b66489eb","datavalue":{"value":{"amount":"+0.8875849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1100547$06B4AACE-5F6E-49DD-B24A-2A24C32A462B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1100547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1100547"}}}}}