{"entities":{"Q1306717":{"pageid":1317467,"ns":120,"title":"Item:Q1306717","lastrevid":67121133,"modified":"2026-04-12T15:26:40Z","type":"item","id":"Q1306717","labels":{"en":{"language":"en","value":"Categorical generalization of a universal domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1347955"}},"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":"Q1306717$75BB8D01-44C8-4FFE-9447-A61CDBBAB63E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e113a0cdc189e14fa0e9ac1fb0b0fda166a88fca","datavalue":{"value":{"text":"Categorical generalization of a universal domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306717$174CD6AE-BFDB-4F87-8B82-BB9CDFFB3D65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b736412e7e1955ffddc0c0b1d375959e7695013","datavalue":{"value":"0937.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306717$E244A0B3-627C-4CA1-9E53-86B9932F0E2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"636bd4977a11492e78c5df687dc980d4e6d1e7fb","datavalue":{"value":"10.1023/A:1008608823476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306717$8D654883-76B7-4024-91B0-5D095897CF3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c28684bd1f4bbc00add773aebdab5a83cf01fa02","datavalue":{"value":{"entity-type":"item","numeric-id":234458,"id":"Q234458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306717$E40B6335-4E98-4994-8685-631F52B0FB4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306717$E1B50C0B-7521-4766-B61F-3A732F6152A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"168e72df90f89497766dfa6ea027434c1fc1833e","datavalue":{"value":{"time":"+2000-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1306717$F2E7989C-C533-4561-B45D-C3DE0D1C998A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c967acc214ff1e15ae28ba98e839a51986d7116c","datavalue":{"value":"The program started by \\textit{J. Ad\u00e1mek} [Math. Struct. Comput. Sci. 7, No. 5, 419-443 (1997; Zbl 0884.18006)] of transfering computationally interesting aspects of order theory, specifically domain theory, to a general categorical setting is continued here. Building on Ad\u00e1mek's accessible SC-categories, which generalize Scott domains, the author introduces categorical counterparts of complete upper semilattices (CUSLs, these arise as sub-posets of compact elements of Scott domains), which he calls ``finitely consistently cocomplete'' (FCC), and of embedding-projection pairs. He then lifts Scott's theorem [\\textit{D. S. Scott}, in: Proc. ICALP 1982, Lect. Notes Comput. Sci. 140, 577-613 (1982; Zbl 0495.68025)] which essentially asserts the existence of a weak terminal object in the category of countable CUSLs with embeddings as morphisms, to the FCC-setting. The proof is an application of \\textit{V. Trnkov\u00e1}'s embedding theorem [Comment. Math. Univ. Carolin. 7, 447-456 (1966; Zbl 0163.01502)]. While the resulting universal FCC-category turns out to be ``too large'' to have an accessible category (and hence an SC-category) as completion under directed colimits, for every inaccessible cardinal \\(\\kappa\\) there is a ``\\(\\kappa\\)-small'' version of the main result. In case of \\(\\kappa=\\aleph_0\\) one obtains a new proof of Scott's original theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306717$DBF505D0-406E-4B2B-9A9C-BFD2A65ECC94","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8de95ec82acc344b9b397e962636896e8ffb712","datavalue":{"value":{"entity-type":"item","numeric-id":173924,"id":"Q173924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306717$40DC7D3F-1F48-4AE8-A81E-57A119AABDD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306717$AC7BDCF9-731C-4688-B193-9CC1846C2818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306717$4866D7B1-A9CC-4B25-B48D-FC49D0D43A12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e700ecdf89e85cd434d0f341a40e357bafe50c61","datavalue":{"value":"1347955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306717$ADEC69A1-27A7-4618-B43D-40AF783B4C35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bff1a6a101ed9457c5675a03afa059c71740e9","datavalue":{"value":"Scott domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306717$A59D198F-02F6-4870-899D-4966E70D2901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e6fe310cdbcc6da7b2998d98f9c8528fee455f8","datavalue":{"value":"Scott complete category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306717$3C3CCB84-4131-46CA-A888-5BF7C4B201D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d5ea4ddb9e1c4edea9219ea9527d12fac47f33","datavalue":{"value":"universal domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306717$B13FAAA6-6E69-4E2F-B55F-1629E4E11A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d239105e649723439f93b0962b8638c7b35cb5","datavalue":{"value":"accessible category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306717$6E4CEFD1-9D5C-45AC-B8CF-A0483E8DC2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4854721511f75774e59fbbf019b7f42be03a6f5c","datavalue":{"value":"finitely consistently cococmplete category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306717$74698CDE-88D1-4EB0-9E7D-B712C6787500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeebae77ea07e8c4bf5f54e457504e3e5535c155","datavalue":{"value":"Scott's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306717$D485C6BB-3721-4B73-B780-AAFFF4110619","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":"Q1306717$D3B0EC17-0F1C-4B5F-9DE3-A6ADC5FA17FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3fd70a04380d410cbfab419c3a1833ce02c8fdc","datavalue":{"value":"https://doi.org/10.1023/a:1008608823476","type":"string"},"datatype":"url"},"type":"statement","id":"Q1306717$9EDA4D6C-9379-40FB-A26E-7DBD1B5B8E9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d198b5e30b8d726d4fc18dde0d3b0002e88d1e9","datavalue":{"value":"W1758577166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306717$92689C9E-C6E7-4E48-81B4-FF7CB94A0476","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78abf8ecef9f3bc85ec2d7f8be39d81b4779d44","datavalue":{"value":{"entity-type":"item","numeric-id":5687245,"id":"Q5687245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","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":"Q1306717$A3122507-07C4-4C27-B4AE-BFC190C94314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a0f62431bb8c93220e0c126ebc7017eb17f03a","datavalue":{"value":{"entity-type":"item","numeric-id":4248541,"id":"Q4248541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6479ad7d685d438d5604f8493b84d4a84b885179","datavalue":{"value":{"amount":"+0.9594764","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":"Q1306717$ADA9E682-E828-45A8-917B-44CB9C6EEED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5ae88e5761c608809062f9a9a1e0a7b73ea91d","datavalue":{"value":{"entity-type":"item","numeric-id":1684740,"id":"Q1684740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e63e5df10b640e26240152247e36d12c92dd18","datavalue":{"value":{"amount":"+0.91557103","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":"Q1306717$0EEEE263-33DD-4EC0-8EC4-345C500E7427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e4e3712ded2f6cb21310ceaa4d9f76691f65a8","datavalue":{"value":{"entity-type":"item","numeric-id":5109239,"id":"Q5109239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0082d0bcd5493e0c46c277da506788433dd27df","datavalue":{"value":{"amount":"+0.9155706","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":"Q1306717$4CA8D9CE-3155-44AE-8C81-10C825C00DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf21d5dc5f01e569f5c7acf596ccf31f4d59656","datavalue":{"value":{"entity-type":"item","numeric-id":4837714,"id":"Q4837714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095ef2df1db1d25a08720d1cd74fa55786def6f1","datavalue":{"value":{"amount":"+0.890812","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":"Q1306717$F3F8BF23-B596-4F80-A135-17B9C235C893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d279184544cb5dce955455235d3a4b44b49475","datavalue":{"value":{"entity-type":"item","numeric-id":3139900,"id":"Q3139900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54dc1544121736e2db647501def5831a57811c03","datavalue":{"value":{"amount":"+0.88780326","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":"Q1306717$B2E53D1A-8B4D-4D58-B47D-78F6A099CE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94292c4e0b47f2e700c5bc86665d26ee37ad79be","datavalue":{"value":{"entity-type":"item","numeric-id":2842593,"id":"Q2842593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3488f08b6988404d30948d65de69c6ff9f48fac","datavalue":{"value":{"amount":"+0.88702816","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":"Q1306717$0A9C4116-F56B-48A8-BBBA-5F2412F5AEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e21da24e7a43d21a0c25bfcfd13ea0944e19e8","datavalue":{"value":{"entity-type":"item","numeric-id":2326417,"id":"Q2326417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a6f41a0584803359399dbd3899b41833f0f3564","datavalue":{"value":{"amount":"+0.8858415","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":"Q1306717$7A350D1A-82B8-45A5-B6D5-E788C0E1A2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb43dd2263c47ab5ffe6c7f94c7d23afaa2a63f","datavalue":{"value":{"entity-type":"item","numeric-id":3839064,"id":"Q3839064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b4cac735bf69dc35ae23e4714b109a1b44f9bf","datavalue":{"value":{"amount":"+0.88190126","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":"Q1306717$BD65D222-674E-4245-9904-7D08B59E0445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d2e8de658494b7d2c5c92b4f2c729144c06bbf","datavalue":{"value":{"entity-type":"item","numeric-id":5960413,"id":"Q5960413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7862b31b75b5809295b231abaee02cf87dfd57","datavalue":{"value":{"amount":"+0.881655","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":"Q1306717$9AB42F7B-9028-4A56-9B12-2D56457EB545","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical generalization of a universal domain","badges":[]}}}}}