{"entities":{"Q2502949":{"pageid":2513692,"ns":120,"title":"Item:Q2502949","lastrevid":72747375,"modified":"2026-04-14T07:26:21Z","type":"item","id":"Q2502949","labels":{"en":{"language":"en","value":"Kleisli compositions for topological spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5053816"}},"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":"Q2502949$A0874800-FBDF-4C2D-9515-924AB2EDFA1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ac5f0fd018c438f073dd59771ef8b9fbf78f701","datavalue":{"value":{"text":"Kleisli compositions for topological spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2502949$52E2850C-FBFB-438E-8C66-C9F2936A729C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7267c5bdaa81b019936b9ff2c3d3ad03c8c0baee","datavalue":{"value":"1103.54001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502949$97C5DD28-7532-48D8-ABF9-28605E12546C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f083fb074f8e8c074b73d719a7d91511e8dca2aa","datavalue":{"value":{"entity-type":"item","numeric-id":328661,"id":"Q328661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$6274A0A5-F3A1-42EB-95F2-B966ED3F28AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"399d16b20c2e0544638ddc885ece23e0107e4491","datavalue":{"value":{"entity-type":"item","numeric-id":173922,"id":"Q173922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$9F740B31-4457-424F-8E5B-45A1BDC1C05E","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":"Q2502949$8091BAD7-4BDB-4F33-8144-FADA94E0F9D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"975464aca491bff66c9003ab5613515ddc5a7594","datavalue":{"value":{"time":"+2006-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2502949$344D1803-1022-4C33-99B7-8BE4D7A0FE13","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8440cb76b82891433a2c17d232bac15c5e83329f","datavalue":{"value":"Let \\(X\\) be a given set, \\(PX\\) the power set of \\(X\\), \\(UX\\) the set of all ultrafilters in \\(X\\), \\(a \\subset UX \\times X\\) a set of convergence conditions: \\((\\mathfrak x , x) \\in a\\) means \\(\\mathfrak x \\overset{a}{\\longrightarrow} x\\). Given \\(\\tau \\subset PX\\), we define \\(a=\\psi(\\tau)\\) by  \\[ \\mathfrak x \\overset{a}{\\longrightarrow}x \\Longleftrightarrow \\forall A \\in \\tau(x \\in A \\Longrightarrow A \\in \\mathfrak x). \\]  Analogously one can define a mapping \\(\\tau=\\varphi(a)\\), yielding a diagram  \\[ PPX\\overset{\\psi}{\\longrightarrow}P(UX \\times X) \\overset{\\varphi}{\\longrightarrow} PPX \\]  satisfying  \\[ \\tau \\subset \\varphi(\\psi(\\tau )), \\;\\;a \\subset \\psi(\\varphi(a)). \\]  The main result of the authors is that the set of all topologies on \\(X\\) consists precisely of those \\(\\tau \\in PPX\\) with \\(\\tau=\\varphi(\\psi(\\tau))\\).   In addition the authors present other categorical descriptions of this characterization.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502949$80EF43D3-8D89-4882-82A9-8B4AF5842FCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e88091f3299bc49922edc3e77e6554e5bceb24cd","datavalue":{"value":"54A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502949$C573C338-EBCA-4E0C-92E9-B8F7278D0CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502949$4E932074-866B-426A-9FCE-54332CFA1B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e886f6e0421be5a8f743ae1b051b4f18a64974b4","datavalue":{"value":"54A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502949$F47757C0-8FF7-4795-8206-AC4FC8DCFD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502949$FF23C4CE-3D67-4C90-8C6E-D984C2CD89FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502949$FA70BEE4-6126-4D41-A6D7-FB3CB190A9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502949$5F122A3E-891C-4402-8CB8-1E34971796B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502949$D504DD49-D355-4809-9FD0-25A445DC7F1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d6dab10c44e75d6dd4ba0980d8d5acfbd718adf","datavalue":{"value":"5053816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502949$E53B3B31-0C73-4A22-85D6-0C5118A8AA89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7cb4052e204e2987c969c37cd0b34618a06ced2","datavalue":{"value":"(ultra)filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502949$0613BC4D-BCCA-44AF-B5B1-D08A19741D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b954d232f5a52cdede1e60a836e5d3b804e70b","datavalue":{"value":"neighbourhood system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502949$67DCEF49-61A3-41FC-A48E-7BA016720D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"254dedb74bc7869b7a84906489bf879b159ffcad","datavalue":{"value":"co-Kleisli composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502949$46F24D47-7467-4613-BAF1-CC2AA30C9899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502949$FCF10583-5B23-45AD-8B95-D3F12E87E5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb37bbaad9e4e285a4fa509907cd517f4089e58","datavalue":{"value":"Lax algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502949$3011BC05-0F71-4D08-B0B9-083CF664111B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"77aaa5c7cf3ea777f170f5287e940499ae265da9","datavalue":{"value":{"entity-type":"item","numeric-id":591715,"id":"Q591715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$432B714E-AF68-47CA-9964-CA0D5BAEC66C","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":"Q2502949$455C6760-2D84-4A90-A3BD-BBA7953525F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89ec2749fedc0fdda5c15f506d85de0dba215ab7","datavalue":{"value":"https://doi.org/10.1016/j.topol.2005.06.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2502949$F907D36B-70A9-49CE-B526-C9D452723A1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3824473014ab358e4e3e1e3726de8b71c9fd86ec","datavalue":{"value":"W2058564026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502949$2028CA6D-BBC8-4BD1-A5AF-7AD028B36EB4","rank":"normal"}],"P223":[{"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":"Q2502949$490D13C3-4718-4F87-8528-F9A80D214D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9e9b03c44ee1cd9d24d977053aeb9cef009f09","datavalue":{"value":{"entity-type":"item","numeric-id":5788019,"id":"Q5788019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$6D2984C2-700A-4081-A0F2-138D88C99C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461e09c6e32527e9db41b384482aef4b9a7e5ece","datavalue":{"value":{"entity-type":"item","numeric-id":1430170,"id":"Q1430170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$D6600DC0-4AB6-4B91-A6E9-AEF900D38187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145914f640c75541fd024fa63ecf5c4fa344726b","datavalue":{"value":{"entity-type":"item","numeric-id":555961,"id":"Q555961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$2D607674-92D3-4113-8313-092ECA62CBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bad426f6611497ad9070b943af71d5fe7be67a","datavalue":{"value":{"entity-type":"item","numeric-id":2508937,"id":"Q2508937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$796512DB-BA61-4D9D-8190-DB0D34BC4BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87cc330003f526d88574d1c645954a79ba1c4607","datavalue":{"value":{"entity-type":"item","numeric-id":2648668,"id":"Q2648668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$D245D785-9C0B-4629-9ECA-42BF24448CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3094891f35de0532ff1be94d3c21579c9fcca4b2","datavalue":{"value":{"entity-type":"item","numeric-id":5833276,"id":"Q5833276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$FC292DA4-CBB2-4716-ACBA-D108FD0CD7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$61B398E9-566C-4D94-87F3-BDD65551B0B8","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":"Q2502949$08008450-DE7A-4CA9-AAE6-43E9B28909C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342c0970ad18ff6a53e6a7e95eda1438c66a3df5","datavalue":{"value":{"entity-type":"item","numeric-id":4464696,"id":"Q4464696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$E3DBCF4B-A25D-46E0-94A6-90F1CDCB1F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$88CA81DF-94B1-4911-8797-4DD432BC3148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae93f12a4a1a8b8b00ef138eeab1727cd3d6a9d","datavalue":{"value":{"entity-type":"item","numeric-id":4248237,"id":"Q4248237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$463DE77A-A5C6-4621-B328-DA7D9D0CDCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3418a0c5c31bfceb95f8084638ba44b1df5f040","datavalue":{"value":{"entity-type":"item","numeric-id":4373444,"id":"Q4373444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502949$9F040D87-9463-4801-B131-AE3ED555BD3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"378c6eb38a7312c23d0649922063584c23f34c98","datavalue":{"value":"10.1016/J.TOPOL.2005.06.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502949$BDE5AE32-7018-494B-98AD-6BCC04521C92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6076ece87d516e41fd2ec36b96906e29ef29c37","datavalue":{"value":{"entity-type":"item","numeric-id":842755,"id":"Q842755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea6e2ef67df46b485358d26c45082a573dad987","datavalue":{"value":{"amount":"+0.7849910855293274","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":"Q2502949$55BEA367-B429-4087-8F30-2166FAEA4492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c3c1fb9262f600ff405153c23a4960ea01d600","datavalue":{"value":{"entity-type":"item","numeric-id":4383794,"id":"Q4383794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8af6355261a086fd6a93ba2987336fddb17dab","datavalue":{"value":{"amount":"+0.7554853558540344","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":"Q2502949$D631E091-B271-4D24-9ED5-04E9D76B0897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73708186df993be38efd057fe92f346258adbdeb","datavalue":{"value":{"entity-type":"item","numeric-id":2877685,"id":"Q2877685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f15a4270db3ebcbfccbe34a131d7d914f9d4a3","datavalue":{"value":{"amount":"+0.7522448301315308","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":"Q2502949$550E03B2-B9AB-40AE-B57A-311C03DC1DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5156fbdbc01ecb96fe096e7ab25a5b8863386126","datavalue":{"value":{"entity-type":"item","numeric-id":4373444,"id":"Q4373444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c28f211b9fa4427c45e1ceee905cc66203c0481","datavalue":{"value":{"amount":"+0.7467639446258545","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":"Q2502949$C179162E-6942-430A-8556-2A86F8DFC11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e41b811290e89ebe959c87e9cb6c2b2fd2c37d6","datavalue":{"value":{"entity-type":"item","numeric-id":4280788,"id":"Q4280788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd22a15574e3f0bb2adfb49bb606ff51299391f","datavalue":{"value":{"amount":"+0.7434122562408447","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":"Q2502949$09DD0A4A-7EC1-4492-95F8-42DF859AF5C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kleisli compositions for topological spaces","badges":[]}}}}}