{"entities":{"Q1361360":{"pageid":1372099,"ns":120,"title":"Item:Q1361360","lastrevid":46926663,"modified":"2025-12-25T21:06:31Z","type":"item","id":"Q1361360","labels":{"en":{"language":"en","value":"Algebraic theories of compact pospaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1038769"}},"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":"Q1361360$FA579D8A-9C91-4BB4-A1A8-283B58B58177","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edd008b60090bbae15fed02ad6349e620a1094d5","datavalue":{"value":{"text":"Algebraic theories of compact pospaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1361360$CEE0633D-E108-4EA7-BF9A-D65FA4FE8458","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cdeed80923cfbb6c18e58360577c33214b6a021","datavalue":{"value":"0877.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361360$31B1CDDA-FBC6-4B81-AC77-670E71EEABA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3465eb1e982f485f79d243995b91bb156fecfe77","datavalue":{"value":"10.1016/S0166-8641(96)00117-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361360$4066ACD4-370D-4B7A-8F9B-AE2CA4FB5628","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eff3f1dbe564cf37289d1cc6f7612bc183de25e8","datavalue":{"value":{"entity-type":"item","numeric-id":1121864,"id":"Q1121864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$A768749A-9C70-48A3-865E-3A53D4DA0729","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$55712A80-C575-43C1-89BB-5B959F076B4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1f059e30be0bc6d5cda65c0a69ded272f7239b","datavalue":{"value":{"time":"+1997-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1361360$06FC2F90-B849-4108-8AA8-83D13CB1047F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa0a53a7d46030889d9a5084aeaedcd2c6e3a5ed","datavalue":{"value":"If \\({\\mathcal C}mpt{\\mathcal P}o{\\mathcal S}p\\) denotes the category of compact pospaces (compact topological spaces \\((X,\\tau)\\) together with a partial ordering \\(\\leq \\) of \\(X\\) which is closed in the product space \\((X,\\tau)\\times (X,\\tau)\\)) with continuous monotone maps and \\({\\mathcal P}o{\\mathcal S}et\\) denotes the category of partially ordered sets and monotone maps, the author proves that the forgetful functor \\(G:{\\mathcal C}mpt{\\mathcal P}o{\\mathcal S}p\\rightarrow{\\mathcal P}o{\\mathcal S}et\\) is monadic (i.e., has a left-adjoint and \\({\\mathcal C}mpt{\\mathcal P}o{\\mathcal S}p\\) is isomorphic to the category of algebras \\({\\mathcal P}o{\\mathcal S}et^B\\), for a monad \\(B\\) induced by the adjunction). This is an asymmetric version of Manes' criterion which shows that in some sense the notion of compact pospace is algebraic.   Reviewer's remarks: The theorem of Simmons and Wyler \\(({\\mathcal C}mpt{\\mathcal P}o{\\mathcal S}p\\) is algebraic over \\({\\mathcal T}op)\\) is obtained as a corollary. This makes explicit the connection between the Salbany and the prime Wallman compactifications. Finally, also an explicit construction of the Stone-\u010cech-Nachbin order compactification for discrete ordered spaces is given (as the prime spectrum of the lattice of upper sets).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361360$E14227EB-51A4-4768-8416-E8F149DF1C71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361360$26F067D3-3683-4A3A-BE8E-A10E2E69101E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361360$C10128F0-9320-4651-890E-EDEBB7BD1BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361360$7DDAF14D-9B03-45E5-B555-AC15043076BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361360$F18C53A0-335B-440E-A5C1-3268C69EEBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c5c33a40d720e0f6461d010916c24a0a9c50536d","datavalue":{"value":"54D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361360$F3002CC5-3BBA-40A1-BF21-77A95F20BFDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dce5e624cdc6828f1be55be5f8b27f9ab2d72420","datavalue":{"value":"1038769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361360$E8551116-4DD7-4030-9290-849AAFCFB373","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361360$009C481A-78A9-4D12-9650-CC88DC5E7019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3954855f212d978b9340fd4e0b6879b56e72eb","datavalue":{"value":"compact pospace","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361360$DAA46805-E623-490C-A158-A7A10504F4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361360$AFAEF503-3D5D-4535-9ED9-E85011E2896D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec9e24d466446edd31522961fa33c39d9b5d9ef","datavalue":{"value":"compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361360$406805E0-18C2-44BB-A1E3-E3467A5C29E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"342c53fa616bf9fbe4984c9fec0fc006ceb723fa","datavalue":{"value":"prime filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361360$A2C6DB08-4AAD-44B1-973A-445D7660E9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fbfc9cf04029cde566092d06a1c3a391b76d4ae","datavalue":{"value":"prime spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361360$1BA6AC5F-EDC4-4614-BDCC-F22AB61FBBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9151fb2e07d0d15fd16488b34795d8d8d320da52","datavalue":{"value":"asymmetric topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361360$DA48AB1A-89A0-4710-9A51-6EFB091F6F4E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea751e1391efce5a824660ae00f540211586bfed","datavalue":{"value":{"entity-type":"item","numeric-id":306474,"id":"Q306474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$B08C23EF-A6F8-45C2-9AC2-64BE48112C1D","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":"Q1361360$B65033BF-4031-46E5-B8B2-D5D52B7D7B71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$1C4131FF-6A59-4B06-94BC-B9F327ACF936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$26A66D6D-9C1F-4A9B-8F49-414B7D5B6322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de836b573c170030af8878d37a17824e81e8387","datavalue":{"value":{"entity-type":"item","numeric-id":4727857,"id":"Q4727857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$E142A226-C5B7-48B6-81DC-54281678C138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d44c117c6081d8ed6fef3de881ec1225f6e77e","datavalue":{"value":{"entity-type":"item","numeric-id":1902986,"id":"Q1902986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$BC195C16-8679-4347-BA2F-F8619076E4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6684819a02bcebccb0d2c721683c1b772fefdcef","datavalue":{"value":{"entity-type":"item","numeric-id":3975032,"id":"Q3975032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$003EFE1E-744B-44DF-85A6-3E6CAFBBFD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9990ab53676ce82206bee6b215cf08d74ea92ac","datavalue":{"value":{"entity-type":"item","numeric-id":5579534,"id":"Q5579534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$F651752C-B2A6-4A86-AFAA-19956A7FA5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a0643d71d7244d1061eef4fd50591d26775ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3950708,"id":"Q3950708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$EDDD533E-A55F-48D4-B60B-5AFF67C4D513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$B7E61F86-CF4D-4658-8589-7E94A00E9D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aaf8e9e50b2a58a68f3afae4afa50f57469a92","datavalue":{"value":{"entity-type":"item","numeric-id":5340517,"id":"Q5340517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$BC171168-AEC7-4833-8604-D08DE2BAF3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42594a3db228a6fcec25cf095cbfac0ec858ff2c","datavalue":{"value":{"entity-type":"item","numeric-id":2706901,"id":"Q2706901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$D2081842-6C12-4886-B0C5-DDC735CD2876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9c959c7e0cb0ac625b866b9429bb26af8862cd","datavalue":{"value":{"entity-type":"item","numeric-id":1163637,"id":"Q1163637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$4BA40D14-E969-42FF-A1FE-D4259762128D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3728670c4af7ca2884e08b4c7b79d1fb36dbab","datavalue":{"value":{"entity-type":"item","numeric-id":4024899,"id":"Q4024899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$B68846E3-FA35-4C95-9049-D61B7CBEEA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61419096edc1ffbdcfe0820150a78c61244317e4","datavalue":{"value":{"entity-type":"item","numeric-id":3912632,"id":"Q3912632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$6F5DEBC9-74E5-4F11-B5FE-F6031505D9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b776ac5564dd49190eaaba1518283bd2a5c666","datavalue":{"value":{"entity-type":"item","numeric-id":5185227,"id":"Q5185227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361360$D88A3CC2-2296-4C26-B64A-6EF9C8B626C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba5f3addb1985080051ab664a70e2a0b2f862da","datavalue":{"value":{"entity-type":"item","numeric-id":4563236,"id":"Q4563236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f41c256fee2ea2949dbf4aa441376c041743f2","datavalue":{"value":{"amount":"+0.8269674777984619","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":"Q1361360$CB73F4B2-F105-48BF-93E9-4D5A28C8BDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a232cb2ff52d00d01a3b7a1d29dd659db3f3a965","datavalue":{"value":{"entity-type":"item","numeric-id":5185227,"id":"Q5185227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94ec1de07b03b76245461c176e7ab1f008dd933","datavalue":{"value":{"amount":"+0.795497477054596","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":"Q1361360$2BDAF4C4-3D00-45D3-8B5E-676DE8D8A53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa60f9b602221ee4eb081a4f20426ccff65300aa","datavalue":{"value":{"entity-type":"item","numeric-id":5207356,"id":"Q5207356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13d8d7cb9aefbda85481731c2ebcef3da516cef","datavalue":{"value":{"amount":"+0.7732394933700562","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":"Q1361360$B48FBFB9-5309-45AF-85E5-053F7B866E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d27dc1ea56d3ce771ebb67b59904d4959fcedd8","datavalue":{"value":{"entity-type":"item","numeric-id":831307,"id":"Q831307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7551791d48b1bbf76c6d116b7a7282e9ff75fce5","datavalue":{"value":{"amount":"+0.7724920511245728","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":"Q1361360$1A059F54-7F8D-48EC-B8B5-6D374037EF02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1361360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1361360"}}}}}