{"entities":{"Q5947271":{"pageid":8124073,"ns":120,"title":"Item:Q5947271","lastrevid":41626332,"modified":"2025-05-06T13:02:26Z","type":"item","id":"Q5947271","labels":{"en":{"language":"en","value":"Quantaloids for concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1660710"}},"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":"Q5947271$6C86E752-3E9E-4A29-AEC7-32A256A35F6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dca4a96cad2ed93912b89225ec8f9ad570248ac2","datavalue":{"value":{"text":"Quantaloids for concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5947271$8446742A-1343-409E-A63B-12F367195385","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"615e435e36405c60840c80a397dc5b535449e997","datavalue":{"value":"0991.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947271$D0DC2EA8-1BD4-4AD9-BBC6-B4FF99B4FBAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a75c3f08374c00aafa6d500c954c6e0062ebeb52","datavalue":{"value":"10.1023/A:1011252012003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947271$E9177139-E540-457A-908E-90FC172D0B16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b93a7088f0f3f3d6d8299d78aae3a1d1876d975","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947271$CBADEED1-E087-468B-A93B-B29EB991A867","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":"Q5947271$ACBEDBEA-1CF6-4987-AC2B-252823D31C7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fefd9cd6516ef85283d8a4f4439e9c6e40289143","datavalue":{"value":{"time":"+2002-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5947271$49895079-8291-49E4-B27F-EF9F3D186FE5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33b86a006d25cad500b592ec0451619e6dece25e","datavalue":{"value":"This article considers how S. Abramsky's interaction categories [\\textit{S. Abramsky}, \\textit{S. J. Gay} and \\textit{R. Nagarajan}, ``Interaction categories and the foundation of typed concurrent programming'', in: Deductive program design, 35-115 (1996; Zbl 0842.00044)], can be usefully viewed as quantaloids. Quantaloids are categories enriched in \\({\\mathcal S} {\\mathcal L}\\), the autonomous category of sup-lattices [see the reviewer's book, \\textit{K. I. Rosenthal}, ``The theory of quantaloids'', Pitman Res. Notes Math. 348 (1996; Zbl 0845.18003)].   If one considers the monad \\(T\\) on \\({\\mathcal B} {\\mathcal Q}ant\\), the category of quantaloids with byproducts, induced by the free quantaloid with byproducts construction, then Abramsky's category \\({\\mathcal S} {\\mathcal P}roc\\) of synchronous processes is the largest fixpoint of \\(T\\). This article shows how this largest fixpoint can be obtained by the standard limit construction.   The first section of the paper develops the result that any semisimple quantaloid is equivalent to the quantaloid of matrices \\({\\mathcal M}({ \\mathcal Q})\\) for a prime quantaloid \\({\\mathcal Q}\\) and the second section utilizes this to obtain the main result described above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947271$085AAB58-30E6-4564-991D-6593706827CF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39b02d015f14d620a5308a1f38b65d3e56d13be9","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947271$762F6F6F-5872-4217-BFA7-95BE360FBF6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947271$E109D187-3E9B-4113-B07C-013243B4790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947271$632350DD-4CF0-49B4-B9B9-8433EE0897A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b780b0b12e4d1c6dfae9fdae9c2a9762ce0a676b","datavalue":{"value":"1660710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947271$A6B67BA8-EF7B-434F-B05E-0D22FDA3DA10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fe45b6e70b18e35a204104156574f6658f02d9b","datavalue":{"value":"interaction categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947271$9A08D4FA-630D-4612-843A-3E284388FCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2285ad0f155d9f82abc35808092e5799be0cce5","datavalue":{"value":"typed concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947271$CA57FB15-9892-4FAA-B36D-B8AEF43DFDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"685cb1823a6fd266f737ed00314221dc509c4615","datavalue":{"value":"quantaloids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947271$747BE45C-7AED-43C5-8A6D-6927688AE409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35ce843c9b2ce7184324e797f69195ac893bb5","datavalue":{"value":"synchronous processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947271$B3DE8E15-F18D-41D3-BFB1-067A82B59BB4","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":"Q5947271$DB5092D0-00B9-459C-BC8F-96A649657D18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84af8c0772f6637d7d808ac7c8874411be511a30","datavalue":{"value":"https://doi.org/10.1023/a:1011252012003","type":"string"},"datatype":"url"},"type":"statement","id":"Q5947271$485518AE-8A06-494F-A59E-BBA9FC88B327","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ce4df74d07d4290c4727b4d879b01ed03274d35","datavalue":{"value":"W2252838967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947271$735908C2-897D-4FBE-8487-47138BDFF187","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7829996c545ec02ccf61829c28f858aa9f55bb62","datavalue":{"value":{"entity-type":"item","numeric-id":2931807,"id":"Q2931807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708fc9f89433791056d285b41e918a8bac3aae0b","datavalue":{"value":{"amount":"+0.8732729","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":"Q5947271$B070EC4F-74F3-4152-B194-3F6ED9B5E120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa16577ccffbe2e0e2f8ceab6503cb9de12b21e","datavalue":{"value":{"entity-type":"item","numeric-id":4995147,"id":"Q4995147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e2d3ecae4268a38696420f5980fc06ce9cb507","datavalue":{"value":{"amount":"+0.87136877","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":"Q5947271$EF2E0F04-75A6-4D35-BA53-5C2ABBC60893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e73e280e09c55d4063c66a703c32a570ea1abd3","datavalue":{"value":{"entity-type":"item","numeric-id":3510871,"id":"Q3510871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ae8d8c5d61c8476e11dcc40138cd771f6c2dfb","datavalue":{"value":{"amount":"+0.86770123","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":"Q5947271$BD105E3A-6705-4285-8477-5E78143D1364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"605fd9bd91512b3b2f20c0a7b93272a5c6b54e5c","datavalue":{"value":{"entity-type":"item","numeric-id":6162111,"id":"Q6162111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3177fb2b70382bb7e621d8dfb4a3c837db9d97d3","datavalue":{"value":{"amount":"+0.8608753","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":"Q5947271$C06DA31B-7D0C-491C-97C7-177639D80460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4e7f18f6891ae47fd387a825f001e622886c15","datavalue":{"value":{"entity-type":"item","numeric-id":2914364,"id":"Q2914364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24023fdb0743a962decbc372a96334b8a942cdfd","datavalue":{"value":{"amount":"+0.8580078","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":"Q5947271$E4A619D8-F305-468F-A3E8-C31B32E611D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee07f1a3aa5322f161968d7ce810beee86096f4","datavalue":{"value":{"entity-type":"item","numeric-id":5262978,"id":"Q5262978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a70430bc7727ecc24e666c7f370323f2fff555","datavalue":{"value":{"amount":"+0.85569346","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":"Q5947271$A1056685-F992-48AE-BF4E-04CA102E556E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5947271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5947271"}}}}}