{"entities":{"Q1263665":{"pageid":1274415,"ns":120,"title":"Item:Q1263665","lastrevid":49336054,"modified":"2026-01-06T23:54:54Z","type":"item","id":"Q1263665","labels":{"en":{"language":"en","value":"Categories of embeddings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4127474"}},"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":"Q1263665$E608299F-5B77-4340-9359-1B594B996ECB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e74d08874d9a53afbd6ccd861736b8de1524be4c","datavalue":{"value":{"text":"Categories of embeddings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1263665$9E4303AA-AD26-424F-B1F1-6236E26D9F4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6602b7c7386f6bd7f1db92b8ca7f779fdd3394e3","datavalue":{"value":"0688.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263665$00C9843F-4594-4EE5-B81D-9335AA3EE11D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dd9fcb973bf258d1b207bd755c47ec924cda070","datavalue":{"value":"10.1016/0304-3975(89)90161-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263665$35A36361-8809-429F-A6DC-CDE61C3DDBC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$FA844177-4E0D-4829-91E4-67F70B771FCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$B1ADB2BF-443D-4AC6-93C2-3578453394DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1263665$25FD7FDC-2371-40E9-8A30-96A887996232","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6321a3bf3f6ea085d1a3c2f24e2945f73dc46885","datavalue":{"value":"A categorical generalisation of the notion of domain, used in denotational semantics, is proposed. The generalized domain is a category of ``structures'' and embeddings which is closed under directed colimits and such that any ``structure'' is the directed colimit of its finite substructures. The category of all such categories is a cartesian closed category. Specialisation of the notion in the poset case gives new cartesian closed categories of domains. There is a close connection with Girard's model of polymorphism for \\(F_{\\omega}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263665$7D9B3640-9555-4F87-A160-F692344263BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263665$DC39ED56-199C-4BBC-B4F6-EAF98C530CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263665$BD642183-470D-4FB1-B682-44CF38B32DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263665$5E4B8EE9-502A-48E5-835E-D3F46E8D48EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bf94d671b74797ca24f5f79680af72bcca575f0","datavalue":{"value":"4127474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263665$88004F79-6CE2-459F-A579-914DA1D8489E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263665$F735E4C0-783F-4A6C-BCFD-B125A4235046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0814b3bbc82e6eeb83928d0623247f0495a8f1d","datavalue":{"value":"generalized domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263665$83C53B4E-C738-4BCD-B8D2-FEC056556F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c121b69deecbecad46a17d0e2d94bae14f79e5","datavalue":{"value":"cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263665$076335B2-C0EA-485B-A13D-E7367D870D20","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6c848266fa72da40ff1802d3555a7d072216992","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$04722D5B-3622-4B36-B134-43C291855A29","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":"Q1263665$4074300E-F1A9-4891-AE15-0C19E3DE69E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b91858898928082cfdb12ce846228d3eb1a1e1da","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90161-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1263665$AF800C87-65DA-485F-9FC6-0109CC1FA185","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abb7650e9d6eeda587349a10515698d3166f3e0c","datavalue":{"value":"W1967930826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263665$D683B705-0C8E-45C6-8BD1-6415FE60F8B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$FB7BC859-1250-4E25-92C9-276703421D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f1fc2c53f8489c262229a49273407a2a8e9cca","datavalue":{"value":{"entity-type":"item","numeric-id":3787462,"id":"Q3787462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$4D6B0154-0319-4B9E-B9CB-8BE19DA1175A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5f8f362da434ad441cbfa7aaf92ed7c49fc378","datavalue":{"value":{"entity-type":"item","numeric-id":3784072,"id":"Q3784072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$B21D4E60-4EB0-4FEA-A1EC-1A58BC42D2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$1E5CE7B6-936D-4C88-9B96-38A64EA1076D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12baf6c19dd2a0e349700dd813c53e78613d91a","datavalue":{"value":{"entity-type":"item","numeric-id":1262787,"id":"Q1262787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$0BACA304-ECDC-4A79-BDFE-3EE068B66FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$EE15F6DE-152E-4E9E-BCBC-3243AAA7B571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"477a21e9bf6d6c513ed36c29e31db833edada1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4732603,"id":"Q4732603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$312C907E-4823-4D54-9ED6-DADC500322EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$46B98324-10AA-477C-ACD9-C79FD78C75DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$906C3529-029F-4624-B659-E48512183633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$AA8367F0-86DA-4E5C-86D6-F7CAD0E65187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$F2F77B27-D579-4D02-BB07-EBAA148CD2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c35efdedf31f460ef4d0153d0733fb5fa9f7c5","datavalue":{"value":{"entity-type":"item","numeric-id":761042,"id":"Q761042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263665$E766F89F-5E3F-4CF4-B2B8-39071777F78D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c30341a43a0345aad01dad8c40b934f14091a4d5","datavalue":{"value":{"entity-type":"item","numeric-id":3559971,"id":"Q3559971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83166fe0c4d9f7e2b1655b05afaed3ddf39b1d17","datavalue":{"value":{"amount":"+0.7980672717094421","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":"Q1263665$8C842DAB-191B-4821-91E9-AD09E9209C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd2172811e43e46d01f55ba21ea8f44c8f3a2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3812427,"id":"Q3812427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b78e03d00b4281df6542b6739944aaa7fd847b7","datavalue":{"value":{"amount":"+0.7869687676429749","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":"Q1263665$4A53C51B-5114-470D-AB08-2A4B23A85A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9a9def7b6cbb6c536d98d31f54555cc7ed4118","datavalue":{"value":{"entity-type":"item","numeric-id":678839,"id":"Q678839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a2182fcd5ff1a0e4ff83e959c5945843429b17","datavalue":{"value":{"amount":"+0.7860311269760132","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":"Q1263665$A9871C6B-32D6-46E8-B3C4-09AB0CB57C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32453cfd28a61b10b42b76261a51eb1a528e270","datavalue":{"value":{"entity-type":"item","numeric-id":761042,"id":"Q761042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7f5ab3be78d1f6c2d793d33a8826eab06a8344","datavalue":{"value":{"amount":"+0.7838280200958252","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":"Q1263665$68D68F26-D4F2-4AA9-A869-78B4120CDEEF","rank":"normal"},{"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":"c5b035d0d260a060de40f9e6687780f52fce62cc","datavalue":{"value":{"amount":"+0.782123863697052","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":"Q1263665$E7CFD904-452F-4F3F-83F0-27304B4E0080","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1263665","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1263665"}}}}}