{"entities":{"Q502131":{"pageid":503898,"ns":120,"title":"Item:Q502131","lastrevid":62311278,"modified":"2026-04-11T05:13:36Z","type":"item","id":"Q502131","labels":{"en":{"language":"en","value":"Dialogue categories and chiralities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6669846"}},"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":"Q502131$01537779-6207-4533-8395-CABB9BD5071C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec5b742cc0dcbf8fadb3eb2b5e22c669d02bab16","datavalue":{"value":{"text":"Dialogue categories and chiralities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q502131$CD8F28E4-A051-439A-B8A8-94AFAF3A68E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e09b43eb5df716848b1b244bc7f26648a62cf32","datavalue":{"value":"1402.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502131$193AB5DD-3981-4B12-8A99-DCF9871987C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe29d0aba85012d45b65f3ba17fe0f607b14c373","datavalue":{"value":"10.4171/PRIMS/185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502131$9ABAD852-9D16-4B2F-B41B-7C5F27FEB180","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502131$0C098F81-928A-415B-8D94-309C01520290","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502131$5B3B850A-952A-4890-84B8-F1CE5033EE2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f57c8c15cda2b1d008784d4043522887c28a3df8","datavalue":{"value":{"time":"+2016-12-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":"Q502131$AC815ED2-D498-4DCA-BD1C-EB8A22CC15D5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea94f2fd2015e4bb5a0db0765c992067e7705c03","datavalue":{"value":"Summary: In this paper, we consider a two-sided notion of dialogue category which we call dialogue chirality and which we formulate as an adjunction between a monoidal category \\(\\mathcal{A}\\) of proofs and a monoidal category \\(\\mathcal{B}\\) of counter-proofs equivalent to its opposite category \\(\\mathcal{A}^{\\mathrm{op}(0,1)}\\). The two-sided formulation of dialogue categories is compared to the original one-sided formulation by exhibiting a 2-dimensional equivalence between a 2-category of dialogue categories and a 2-category of dialogue chiralities. The resulting coherence theorem clari es in what sense every dialogue chirality may be stricti ed to an equivalent dialogue category.","type":"string"},"datatype":"string"},"type":"statement","id":"Q502131$B82C12BF-F2E2-404C-8AEC-B676F173AA95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502131$EB65DB4B-58E0-4578-AE03-6E7752901D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502131$FEBDAF7B-D60B-44AB-B668-2EC9290E9665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9ca7ce31d5d58dbe274220a6e1fb57992f4db59","datavalue":{"value":"18D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502131$744A0961-733E-4529-8940-C37D83574F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502131$354C49A7-4E4E-4C6D-8464-18BE36D8D485","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf9483f66b489a2e8612dee4fe036a690ee687c6","datavalue":{"value":"6669846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502131$31FD6B83-B622-49DE-ADB2-C7DCF2A3AF6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7540cf8e9633b9ca22de7613bd8d60f5d90372f","datavalue":{"value":"categories and chiralities","type":"string"},"datatype":"string"},"type":"statement","id":"Q502131$E89FDDC5-AC70-44B6-B8F7-F2D91A4DB658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c61080e810465a64084b22bc7ab5690294fd2109","datavalue":{"value":"Cartesian closed categories and chiralities","type":"string"},"datatype":"string"},"type":"statement","id":"Q502131$AB44731F-8043-49C9-A3E4-2FBAA1883294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a846e993bfa2aba0a830de9e125f21b659c8245a","datavalue":{"value":"dialogue categories and chiralities","type":"string"},"datatype":"string"},"type":"statement","id":"Q502131$C5507CB3-1453-4306-9A5D-57F9AB3D1534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q502131$3A41224E-FAE3-4369-A297-D0E3F4E0884B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q502131$FC5FD297-8B3D-435E-8908-BBB7643B3C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9025d465f85269e98a9467ac574c399f1ad1c99","datavalue":{"value":"tensorial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q502131$6C948D36-ABAB-47CB-970B-B0880AB43FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q502131$08E47F6B-65E6-4E9D-817C-F33CD3F8C081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7094ea02f1d86ff683f965934ad12d3801927a8d","datavalue":{"value":"logical polarities","type":"string"},"datatype":"string"},"type":"statement","id":"Q502131$3D0E48EB-4619-4620-8261-1C784AB9BDD5","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":"Q502131$2CF27508-1E87-4654-81EB-9150F3EFF477","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cc302872e7fcd145d4ee49987124fd7666950fe","datavalue":{"value":"https://doi.org/10.4171/prims/185","type":"string"},"datatype":"url"},"type":"statement","id":"Q502131$B6C29390-4C37-4DF8-912F-F8652638ADAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abe923a2e21bc96c194db1690b5b6544e5dd0063","datavalue":{"value":"W2558471714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502131$FE595788-A9A6-4DCC-BFBF-A778633870A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d847e74a9b544e25d1b414f3ccc07fbcefafa90e","datavalue":{"value":{"entity-type":"item","numeric-id":4922083,"id":"Q4922083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da971c8096002ee877089f675aed5b25fcae0b17","datavalue":{"value":{"amount":"+0.7782358527183533","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":"Q502131$2D5EF531-C345-41D0-802C-36425FE07A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"287512fbfd322bb44874feca3fdda6d2b1aac6d9","datavalue":{"value":{"entity-type":"item","numeric-id":2986824,"id":"Q2986824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd3f484f471adba454bfd834bad928d8d12474b","datavalue":{"value":{"amount":"+0.7753587961196899","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":"Q502131$87D867A7-42ED-4E31-A565-11EB5B036E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b12a70e171aa93ffed5cf0d73a3a8845579c419","datavalue":{"value":{"entity-type":"item","numeric-id":5298120,"id":"Q5298120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151d3b60abab593e4106e8fe198e070c3c7371e7","datavalue":{"value":{"amount":"+0.7299132347106934","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":"Q502131$A4643D14-BF7E-4FDB-B1B0-501DABCEEC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d1d1e9bdf391493c2a9a4db9e9dda106041d60","datavalue":{"value":{"entity-type":"item","numeric-id":2958544,"id":"Q2958544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c2e9cd3cd33f6b02443edce7f750b3b5e262046","datavalue":{"value":{"amount":"+0.7155162692070007","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":"Q502131$BF27E3C7-6592-4CC6-84F7-8835BD6C91E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcdbf60177531e1d9c24016e337b72e715b2c99","datavalue":{"value":{"entity-type":"item","numeric-id":5215079,"id":"Q5215079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4cc47475fde31da123b03122cdea8bcd2fb832b","datavalue":{"value":{"amount":"+0.7129930853843689","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":"Q502131$705E897D-98ED-4FD4-860A-4E804D0B2BFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dialogue categories and chiralities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dialogue_categories_and_chiralities"}}}}}