{"entities":{"Q2762220":{"pageid":2772959,"ns":120,"title":"Item:Q2762220","lastrevid":47720017,"modified":"2026-01-02T12:49:27Z","type":"item","id":"Q2762220","labels":{"en":{"language":"en","value":"Categorical domain theory: Scott topology, powercategories, coherent categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1687310"}},"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":"Q2762220$2886B3E7-590E-4294-8CFF-B2D64CCAC79F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83a0fea0d7d96ce8ff27f5165a000dbec7c5ffa8","datavalue":{"value":"1002.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762220$0C131572-8908-4AD1-B9DE-B7CA81087030","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a22dcf6caa2b9b1b4d20645015a86dd1f8584097","datavalue":{"value":{"entity-type":"item","numeric-id":456879,"id":"Q456879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762220$0DF0FA46-4154-498A-91B5-3B3EEDD8533B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9e418580f2b70ce6849ba62f9449722e930b0d2","datavalue":{"value":{"time":"+2002-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2762220$83455509-3FF3-4818-8C0A-07A8D7F2F9C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"386b293666ac40dc4911d741e92af6d461b29c56","datavalue":{"value":"https://eudml.org/doc/122250","type":"string"},"datatype":"url"},"type":"statement","id":"Q2762220$10CE188E-A012-4E65-91A5-A98A1BD07C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a166c6fec6bd9a59ea5f4b15746ffa01c72b92d6","datavalue":{"value":"http://www.emis.de/journals/TAC/#vol9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2762220$82847DCE-7639-4E84-9712-AAF1868C1C3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762220$C52EBE3B-CB7E-4B63-AE44-F006F7FADB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762220$B40132DE-6C9D-4B92-A83A-B107AF383AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762220$8B221732-19DE-4FAB-982A-461CB1A97067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762220$3748FE67-966B-42A4-A932-0E96566BACE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4c81b8f5304433ad3b0b133f32cf8a8a10be8a4","datavalue":{"value":"1687310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762220$BF6A248B-D357-4311-8038-8638B9094AC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762220$1EA3FD4B-C56A-4100-9902-FB607529AAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762220$36E7C8F5-5DB0-450D-9D25-DFD7876D1A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96cb3880a5280251a2f94c763abed7a5be2e6a9a","datavalue":{"value":"accessible categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762220$DF7568A4-8849-4E83-A587-BDDDDFD33B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb8f42be27d4840ca8763426d1e3132b158dc29","datavalue":{"value":"exponentiable toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762220$4A5EDD7D-4B20-4D64-9CFA-65EDB94E1210","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":"Q2762220$BD6EC436-D2FC-42A2-AE22-5964757188AC","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"3c7403f790a581a07653a92daab3616286e16381","datavalue":{"value":"bafkreibe77mvux4hob4ikz73h57vbsnvsrpmon2qvqi24yoxtlrbsmnti4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762220$344922AE-0569-4584-92C0-9F85E2FC139E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"444fd5ee56d1d3fa5627feb9c628517d20b1bdb0","datavalue":{"value":{"text":"Categorical domain theory: Scott topology, powercategories, coherent categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2762220$7F90E95A-9742-4B61-8419-E38B1C5A541A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762220$48816148-6ABB-44CD-AD84-DB36FBA19353","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e47316f2bbda2477889538b20e903a8d08a2fa2c","datavalue":{"value":"The subject matter of this paper is domain theory, centered around accessible categories to be sought of as generalized domains following the work of \\textit{J. Ad\u00e1mek} [Math. Struct. Comput. Sci. 7, No. 5, 419-443 (1997; Zbl 0884.18006)]. NEWLINENEWLINENEWLINEThe general idea is to concentrate on a suitable generalization of the Scott topology in the case of certain presheaf toposes and to examine injectivity, power domains and a new notion of ``coherent domain''. The author is inspired by the work of \\textit{P. T. Johnstone} and \\textit{A. Joyal} on exponentiability in toposes [J. Pure Appl. Algebra 25, 255-296 (1982; Zbl 0487.18003)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762220$0591D00A-6CB7-48E8-BCEF-54F330E53B48","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6fdecc80f99fbf552230f8d3e11da972845bea63","datavalue":{"value":{"entity-type":"item","numeric-id":1250099,"id":"Q1250099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762220$58E8305A-69C6-4317-8320-0C6FA57CA0B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e2e66351b64c60d4635000e8d2ba5da5d499c4","datavalue":{"value":{"entity-type":"item","numeric-id":4366766,"id":"Q4366766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3fd33b88663a56f39e0e4c8d1f96cdedc707db","datavalue":{"value":{"amount":"+0.7977030873298645","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":"Q2762220$4D91EA22-A310-4C2A-85D3-BFDE7F1F62F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a795fd7fd4f8dcb13118eb5b42ea1227436e099e","datavalue":{"value":{"entity-type":"item","numeric-id":4719352,"id":"Q4719352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a09f517625e9aafc8b5a6a814fe06ed7c0f133","datavalue":{"value":{"amount":"+0.7695611119270325","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":"Q2762220$C4DB1D69-3D9C-4427-A9BB-01F839EE5E14","rank":"normal"},{"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":"41a09f517625e9aafc8b5a6a814fe06ed7c0f133","datavalue":{"value":{"amount":"+0.7695611119270325","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":"Q2762220$63F5B606-839C-4EA0-B6DA-24710A430009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eefece1ab684722facd64d36187e3e04fc210493","datavalue":{"value":{"entity-type":"item","numeric-id":1306717,"id":"Q1306717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d6c7013355709067c900526723bc880758362a","datavalue":{"value":{"amount":"+0.7692948579788208","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":"Q2762220$E9602442-512A-42F8-B82C-3A4EB61E5403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdc563c2b23feb3db0cceae890595993444c0f49","datavalue":{"value":{"entity-type":"item","numeric-id":2864147,"id":"Q2864147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e68caf2c33d2aa91951dc53b99e67bdcbdc766f","datavalue":{"value":{"amount":"+0.7691580653190613","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":"Q2762220$7BD684E5-A29B-40A9-901C-3E3C594CFC7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2762220","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2762220"}}}}}