{"entities":{"Q2634694":{"pageid":2645437,"ns":120,"title":"Item:Q2634694","lastrevid":52458689,"modified":"2026-01-22T17:02:28Z","type":"item","id":"Q2634694","labels":{"en":{"language":"en","value":"Regularity for relational algebras and approach spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6542137"}},"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":"Q2634694$9E6DB235-D570-421C-84BA-B332BBD256B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00bc0215f4c19eb915cbe69869a312590f3fbc04","datavalue":{"value":{"text":"Regularity for relational algebras and approach spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2634694$C01D4382-8073-4EE3-B633-A9E99832220C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1172d2e7822d29a51bf06158e64fe66168a21c03","datavalue":{"value":"1336.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634694$4F59EB2F-6E63-4960-A6E1-5ED5BDFBE915","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":"Q2634694$236523E3-1B30-4B49-8CA6-845283253305","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0fbb1c99210203060d83e8748755157d2741267","datavalue":{"value":{"time":"+2016-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2634694$F29F46F1-46A8-450A-8686-A7F93E46518A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b14faeb004b969766b19c76affe17ccb53e63c6a","datavalue":{"value":"Regularity conditions for topological and approach spaces have been obtained under lax-algebraic descriptions involving a monad \\(\\mathbb{T}\\) in the category of sets (with maps as morphisms) and a quantale \\(V\\). For instance, the lax-algebraic notion of regularity yields the usual notion of regularity for topological (resp. approach) spaces when the category of topological (resp. approach) spaces is presented via the ultrafilter monad and the Boolean quantale \\(V=\\{0,1\\}\\) (resp. the extended real half line as the quantale).  This paper aims at investigating regularity for lax-algebraic presentations of the categories \\(\\mathsf{Top}\\) of topological spaces and \\(\\mathsf{App}\\) of approach spaces other than with the ultrafilter monad. It focuses on presentations of \\(\\mathsf{Top}\\) with the power-enriched filter monad \\(\\mathbb{F}\\) and of \\(\\mathsf{App}\\) with the power-enriched functional ideal monad \\(\\mathbb{I}\\) and with the prime functional ideal monad \\(\\mathbb{B}\\), a submonad of \\(\\mathbb{I}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634694$87FCB0B9-6B51-4C7C-B906-651F17B66B90","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b7a94eb553ebb471d21cd9342e2b92f55c9f564","datavalue":{"value":{"entity-type":"item","numeric-id":283254,"id":"Q283254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$4037BD71-3978-4377-A369-D510B22502B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634694$19194075-17A9-431A-AFA3-F6A62AF8F18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634694$D3D5A228-3A9F-44BD-9D41-0C0FC4F5F697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634694$1A27A1B3-A082-48A8-A4FA-D0D6275E8FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e88091f3299bc49922edc3e77e6554e5bceb24cd","datavalue":{"value":"54A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634694$6D5A7839-4AB2-4828-94EB-183EE6FEF646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634694$48F61440-69F9-40B0-97EE-98267C6E64BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"43de616fe2752b1c6454a64d0550fc86550cf0c5","datavalue":{"value":"54E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634694$B7CFC177-9B06-424F-B121-F5FF88872898","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8114ba2c98fa38ff0018d41470910eb26165eeda","datavalue":{"value":"6542137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634694$4F92800C-35D9-4C62-90E9-1F22E4DFBCEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634694$D0173B82-BB9B-4422-9F9D-30156A9C3862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d663c92cc86288e2df478c487898f3815f9ec0","datavalue":{"value":"regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634694$0DBF1714-106A-4483-B2E4-C22CD4830436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cda6b58ea3f204c3ea63ed298e09f4248c38076","datavalue":{"value":"(prime) functional ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634694$2579E249-A076-4B68-B10B-A26FB1005278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ee0109af41ad406ecd743518061baaa9e5e3ff","datavalue":{"value":"convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634694$F327C151-2372-4573-9AFA-F6387F937581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a720ddb479d4aea65b052b8c4ffe1d3bd60554af","datavalue":{"value":"limit operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634694$8EE12978-EAA5-4A40-B76D-4051B561C859","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd73170469f4db95c06fba527ab2ca3557597973","datavalue":{"value":{"entity-type":"item","numeric-id":193018,"id":"Q193018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$1795D73D-8CCE-47C5-90BB-1614F99D1CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c42e447c3d80ffedffb7b1fbde9b4155763d73f","datavalue":{"value":{"entity-type":"item","numeric-id":168945,"id":"Q168945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$B29519AC-012F-4103-AF67-2A7BA1242A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86ed5fde1c382b272d3fea3b717b900135b4bca8","datavalue":{"value":{"entity-type":"item","numeric-id":328643,"id":"Q328643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$643F6433-EB50-471C-BC97-6AFDD2BBC350","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":"Q2634694$1EAABFA5-C22B-4BCB-A589-FA7978DDD355","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9d9fe4ca8759122cf3d1303cb7b20db80920cc3","datavalue":{"value":"https://doi.org/10.1016/j.topol.2015.12.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2634694$E8392BAC-0DD2-47C7-97CD-BFDCDF513729","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c2503c8f34ebb1d12036afb719d43d804246624","datavalue":{"value":"W2281969475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634694$F53C1F7A-63F3-4168-933F-84B7C1A0D20F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1239b12b265f4747527dbbbc727ae81f91f069","datavalue":{"value":{"entity-type":"item","numeric-id":2460649,"id":"Q2460649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$9B11675E-1E71-4FB1-935B-287ED71FF393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96954404dfbbc62a33a9750ac0ac66cacd28ac9b","datavalue":{"value":{"entity-type":"item","numeric-id":5602969,"id":"Q5602969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$0DD221F6-3940-4C27-B0BC-CF889002734A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f65dcff8484c0b6b515ecc877b5730cc2749b4","datavalue":{"value":{"entity-type":"item","numeric-id":607299,"id":"Q607299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$C2E9E703-CE06-4D1E-A183-A9F4CECC3CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52371473d9787ab18e4889663fa98258a6388c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1383225,"id":"Q1383225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$B69B1831-B773-4A01-9B66-405248D6AD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b751a3979c79fe1f89302da5be97058d231ad4","datavalue":{"value":{"entity-type":"item","numeric-id":2877685,"id":"Q2877685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$C094B0E8-49A6-4700-91CF-42B5DBF07C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aadd4ae14136691469b9e304bcd492452ee4101","datavalue":{"value":{"entity-type":"item","numeric-id":1404248,"id":"Q1404248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$2DAF814A-C9E0-43F3-A4B5-4A388C855FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b399e11292843cbb7525a4b103307d3c4dd145","datavalue":{"value":{"entity-type":"item","numeric-id":2015820,"id":"Q2015820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$B8A97A37-595C-40B2-9B57-10DE521616CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45ea6b7792bde5f4d0c58f65d2e56d8c2a19123","datavalue":{"value":{"entity-type":"item","numeric-id":2634694,"id":"Q2634694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$1C91F535-450E-4C7B-8E7F-2645BF1BA326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5800ec3c18b754a7fdcea8fb5479f0ad40eac7","datavalue":{"value":{"entity-type":"item","numeric-id":2014746,"id":"Q2014746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$F4FA218D-5506-4938-ACED-C8110ADCC881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eaf75799e944c383ecc553bccbea5ff15f80e98","datavalue":{"value":{"entity-type":"item","numeric-id":2525922,"id":"Q2525922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$E40D934B-2F34-4C53-B194-166D1BBF9C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b58aea150b561f58da386db15c716910389ae00","datavalue":{"value":{"entity-type":"item","numeric-id":4280788,"id":"Q4280788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$58D04A77-FD74-4FD7-AB9D-F19F16B5913D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a9247e412a9f7e6ed5b8107026641a76c476c1","datavalue":{"value":{"entity-type":"item","numeric-id":2968610,"id":"Q2968610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$1B25B8F3-703D-4B40-9499-66FB3134E66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed46264351de1e0086bc52d338979b80d02d299b","datavalue":{"value":{"entity-type":"item","numeric-id":1916473,"id":"Q1916473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$2842F170-A589-4DBF-B53C-6C6428B68C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf52f493ec32523bccb9ad251a9aac4352494f4b","datavalue":{"value":{"entity-type":"item","numeric-id":4340906,"id":"Q4340906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$67C900E2-9304-4FCF-934B-672106BCAC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29480e544172a6f38241b02b2a3790256de32d99","datavalue":{"value":{"entity-type":"item","numeric-id":5168430,"id":"Q5168430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$1F64505C-06BE-465A-A6FC-5FA52AB32CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6c9d5c85f01d4e011ed87b419322ec3a7a7a95","datavalue":{"value":{"entity-type":"item","numeric-id":5302124,"id":"Q5302124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$FD37D64D-CAAA-4C56-8844-4EA20A36966E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6735a1318046aa360fe031bb239406376c6a5a24","datavalue":{"value":{"entity-type":"item","numeric-id":3663502,"id":"Q3663502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$9DAB6ED0-2DC8-42EE-AC79-269584640EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599fdca215b763432c730f6a47176ed2b070dce3","datavalue":{"value":{"entity-type":"item","numeric-id":4280797,"id":"Q4280797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$9B17AEC5-65D6-4B23-BDB5-BA170DC51A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e4ce97ba245a7b7767469d15f80bde38c4ff9c","datavalue":{"value":{"entity-type":"item","numeric-id":5701007,"id":"Q5701007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634694$5EAB5AC5-79B2-4262-BA20-599D819F1167","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be8f6cfcb66af789a0685884facd3fdd39649b06","datavalue":{"value":"10.1016/J.TOPOL.2015.12.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634694$89C1F02E-ED25-433C-95D6-19D2422B7BA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a326d3007a642b51975bf94825a5c94b2e235dcf","datavalue":{"value":{"entity-type":"item","numeric-id":536041,"id":"Q536041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4894e3ca2b759c468deb595a2234766ff7805d0","datavalue":{"value":{"amount":"+0.8062394857406616","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":"Q2634694$B82FE845-1636-4512-9861-E5BF4626CCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92643a9cc094757db7596b7c0bc10781d4a9fcf1","datavalue":{"value":{"entity-type":"item","numeric-id":429335,"id":"Q429335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3ee56940ad8d64207eff50167e0a0a262ba842","datavalue":{"value":{"amount":"+0.8006003499031067","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":"Q2634694$E5B68C3D-9532-4836-A90D-78E9D858562E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9309bb4d1c43f4a8b498b345e9427a1986f032","datavalue":{"value":{"entity-type":"item","numeric-id":6162770,"id":"Q6162770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7d010dccc8ab2c4230fb5cd46da0549e25dcc3","datavalue":{"value":{"amount":"+0.7862866520881653","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":"Q2634694$451BB79A-4CFB-4F22-813A-A6B5F9240075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97ea2a6f52cb058db23d2b97b54b30ba2db6d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3614496,"id":"Q3614496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2140911acaec4a03fc7dc49033512369885420d1","datavalue":{"value":{"amount":"+0.7804825901985168","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":"Q2634694$668AD62A-3F23-4851-B249-199A04900F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71b7636afad99a3d4dd2d9a9447f6785389b71b6","datavalue":{"value":{"entity-type":"item","numeric-id":2041250,"id":"Q2041250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767d3298940cfee77cdffaaa3404b9e8f974e667","datavalue":{"value":{"amount":"+0.7682580351829529","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":"Q2634694$6825F8AD-2508-4BEC-B9B3-470B0D9D33EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2634694","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2634694"}}}}}