{"entities":{"Q1921403":{"pageid":1932145,"ns":120,"title":"Item:Q1921403","lastrevid":69307455,"modified":"2026-04-13T06:07:58Z","type":"item","id":"Q1921403","labels":{"en":{"language":"en","value":"Universal categories of uniform and metric locales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 920796"}},"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":"Q1921403$A3F6B056-C0D2-4F74-A32F-C776E82FF3F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dd4d14c8489af72632b3e6d0d3c7a5765aecb37","datavalue":{"value":{"text":"Universal categories of uniform and metric locales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1921403$9087E62C-3189-4905-813A-EB5007267DF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2fbfd1321633193f91ba39a64393ed843222c8b","datavalue":{"value":"0854.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921403$E05A4937-6BD5-4C10-BBE5-B6F26A978DF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0c1d36c31c2dc6123e5530f2f8121bf66c89761","datavalue":{"value":"10.1007/BF01243595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921403$93CB87AA-A3D5-4DDB-BF3C-796F4FAE3AB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921403$D7170D3C-2760-4659-8B49-169AD1C850E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"973843c263a1e9419fec68019fa26ac1e458eaea","datavalue":{"value":{"time":"+1997-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1921403$FDDC3FFC-C074-4243-AFAC-DB80763D58A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0eff45c0b407950d8cb9e7aacb31d105e4f03dcf","datavalue":{"value":"In the theory of universal categories [expounded in \\textit{A. Pultr} and \\textit{V. Trnkov\u00e1}, ``Combinatorial, algebraic and topological representations of groups, semigroups and categories'', North-Holland, Amsterdam (1980; Zbl 0418.18004)], categories like \\({\\mathcal T}op\\) appear only after cosmetic surgery, because there are always all the constant mappings. This paper introduces formal or ``pointless'' spaces into the theory, constructing a number of classes of categories of locales -- with additional structure -- which are shown to be universal or (what is the same thing unless measurable cardinals form a proper class) alg-universal. The root example is the category of uniform locales (or dually, uniform frames). Those uniform locales which are metrizable and Boolean suffice; the morphisms can be the uniform ones, or Lipschitz with respect to given metrics, or contractive, among other possibilities. It is not known whether the category of locales (tout court) is universal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921403$98FD9B91-45B1-4FCC-A452-5B571476FD72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921403$02744AA5-56C8-47DB-825A-DF3C463B3B3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba71f0ba1134570d5af3ab1836f84da175f98a19","datavalue":{"value":"920796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921403$7A698B7D-B8C8-42CB-A98E-666E46AA3C0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb4a53571431b64cd012b0d9c14ca4268e555f91","datavalue":{"value":"formal spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921403$A7D35F82-0748-4D79-A1AF-05D9BE3597EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"448fe077f2d3639543298da7def6373f50be810a","datavalue":{"value":"pointless spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921403$F800D19B-20F7-4381-A664-CEB7733D7C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"892862d61ef40c15ac375a5b1c30334f75cff2e4","datavalue":{"value":"universal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921403$889365D8-3325-485F-88EF-FDA8EB8AEFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ac62b1ceed9c179b271c96d3b8cbe2ecfc404b","datavalue":{"value":"categories of locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921403$AFE0BAA9-0143-49B5-9438-692764EFC89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84631c61e25a7a3645ccda38b8820a62f22b0394","datavalue":{"value":"uniform locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921403$D6DB0317-A3E2-4C18-9CA9-C54474A204CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87cf4c40b196497d09b73c07946f26896432c7eb","datavalue":{"value":"uniform frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921403$6714D026-73C9-447E-9D84-B97607891963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71eab47e9e07192adf1db12e6be44729d2cc443d","datavalue":{"value":"metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921403$286895F4-4213-4EEA-ADC2-F56BB3717688","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0515b5421feff2368cf40870c6ca8619e9feca7e","datavalue":{"value":{"entity-type":"item","numeric-id":168346,"id":"Q168346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921403$C449D7A8-8B99-4D5E-96EB-C37E71B7F74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2ec4988b2740deb3f4f56ca53450b3e354afa7e","datavalue":{"value":{"entity-type":"item","numeric-id":1141149,"id":"Q1141149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921403$A4C1C3BA-DB70-4BDC-89B0-13211376782F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ecf4216cad559830178acf03a6652fd82611ab37","datavalue":{"value":{"entity-type":"item","numeric-id":1066374,"id":"Q1066374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921403$8235C853-64F0-409C-8297-72A125709316","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":"Q1921403$6D6DD487-0206-412B-B98D-C1208E90C001","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ac3708c20b18d0d575e45ee7e648086c750c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4733100,"id":"Q4733100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921403$14680752-8B7D-4458-A33C-E49FC17AADF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da844b8b12bd481414ed4f5bd97e49d77d300d82","datavalue":{"value":{"entity-type":"item","numeric-id":3359387,"id":"Q3359387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921403$9084240D-80DA-4EA6-A0D2-5FFD16EC3B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"686d0f52f3fedd0376887624b3a605bd6a7d5495","datavalue":{"value":{"entity-type":"item","numeric-id":5541854,"id":"Q5541854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921403$0062BAC7-092C-467C-87DD-76B3860D6157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f7ef88a43b7d29f7b1753f0c45f1067df701e5","datavalue":{"value":{"entity-type":"item","numeric-id":2527443,"id":"Q2527443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921403$93841BE0-0057-4452-A02B-F3C1DCFEFC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d4b7931e36505b5e2b4b9d13ee1f4e0b81a108","datavalue":{"value":{"entity-type":"item","numeric-id":5343379,"id":"Q5343379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921403$1A805EC8-CE1E-4460-88D1-CD081BA9A4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d439ef1a306681eb4ade60b3a39f9a709db364","datavalue":{"value":{"entity-type":"item","numeric-id":5658807,"id":"Q5658807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921403$3FB40079-EBCC-43B3-82E5-BDB34D17E4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7da5b2ddf6e590990654adf9a78389a4d67321","datavalue":{"value":{"entity-type":"item","numeric-id":3331896,"id":"Q3331896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921403$08507C4E-59F6-4F97-9E75-C3B0B9F0E37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2fb5a34deb6e73d7909f41740bb5c501535d33","datavalue":{"value":{"entity-type":"item","numeric-id":4733082,"id":"Q4733082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921403$50DD8234-81DD-48AB-B519-A775BCA19A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"874fee53feb06131833f0123a02c11ffb55bb1e1","datavalue":{"value":{"entity-type":"item","numeric-id":4100255,"id":"Q4100255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921403$7F45D4E2-DFA9-4BF9-B65B-FC9D8D7C161A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c67cf5b9d8387a2387596249c21aa3d5c785b5e1","datavalue":{"value":"https://doi.org/10.1007/bf01243595","type":"string"},"datatype":"url"},"type":"statement","id":"Q1921403$6D2200AA-C02D-48D5-8A68-0F01DD62E6EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb3b5089f90175aa87b16907c5fb325d3372f075","datavalue":{"value":"W1968320775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921403$C1C0DBEC-9A92-40AC-8F29-97C03CD240A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cfd585aad62e838e0b85a7521fb91ec271cdee8","datavalue":{"value":{"entity-type":"item","numeric-id":4886281,"id":"Q4886281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b41b91307574a18b590974bcbd4b7430b83c2f","datavalue":{"value":{"amount":"+0.8462362885475159","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":"Q1921403$65B2D306-42C9-4D5E-BEFC-5E4F904CCBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d492dfbaae6a8a0b840c282775b43871c5a2ad4f","datavalue":{"value":{"entity-type":"item","numeric-id":3137393,"id":"Q3137393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a9330540b490fa1860bd7611f8ca0409703e53","datavalue":{"value":{"amount":"+0.7754891514778137","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":"Q1921403$768B33E8-86DD-4F6C-96B9-5E87A428F1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa44e09ef7c756465260e6027d6ad0134dce1db","datavalue":{"value":{"entity-type":"item","numeric-id":1380946,"id":"Q1380946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2105624ba755692569ec7e97dcc4c540df55cd4","datavalue":{"value":{"amount":"+0.7723460793495178","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":"Q1921403$77229FBE-6D07-4885-AC65-293A2B791C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"168ad596e57e0d6e925e784521b274db790f958d","datavalue":{"value":{"entity-type":"item","numeric-id":3490173,"id":"Q3490173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578525ab921d65a24e0d2efef72e2bd5d6b2f841","datavalue":{"value":{"amount":"+0.7685379385948181","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":"Q1921403$57532257-F64E-44E7-BCC0-0ED2C0CDE37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff33056b3b5c9350898332e763ff500cea34993e","datavalue":{"value":{"entity-type":"item","numeric-id":5956931,"id":"Q5956931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c07ae6ec2887840bb943468bdd51eda8e8254a","datavalue":{"value":{"amount":"+0.7480113506317139","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":"Q1921403$66CC3F6E-AF01-4EF8-AD72-06A511FC52B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universal categories of uniform and metric locales","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universal_categories_of_uniform_and_metric_locales"}}}}}