{"entities":{"Q2498908":{"pageid":2509651,"ns":120,"title":"Item:Q2498908","lastrevid":73275246,"modified":"2026-04-14T15:14:30Z","type":"item","id":"Q2498908","labels":{"en":{"language":"en","value":"Coherence for star-autonomous categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047226"}},"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":"Q2498908$60C50F7C-E45C-47A4-8081-C4C78AE413A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d52c3724a2b85b9448128bf45b850eb4ba73ba9","datavalue":{"value":{"text":"Coherence for star-autonomous categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2498908$AFA92716-FF62-4ABB-8C61-FE7A5D723A27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e7c3ed60047f02710891a7feaa5a3a4712979df","datavalue":{"value":"1106.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498908$F3A03992-FC15-492B-AB68-C981B7CAD2EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$E940991B-EC22-4E6B-B55E-A2D50EA759F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"560fadb272ba9670b6f7e2522deaa7e7e693aa5d","datavalue":{"value":{"entity-type":"item","numeric-id":383358,"id":"Q383358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$1677A71E-CF9B-4ED2-B205-293A7366D317","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$EB4B183F-7B40-4A8E-A439-894149271FAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2498908$9E288E1A-E720-48B1-A593-72F09C73AACF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3d9cabd7f87f8a293d6e22acbf47a693e0ad321","datavalue":{"value":"https://arxiv.org/abs/math/0503306","type":"string"},"datatype":"url"},"type":"statement","id":"Q2498908$F21D2CB8-BA18-410C-B180-472F674BF305","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e18cc6efc1a6b3e9a91b13723de49f47055c886e","datavalue":{"value":"The paper contains a coherence theorem for *-autonomous categories (in the sense of Barr) exactly analogous to Kelly and Mac Lane's coherence theorem for symmetric monoidal closed categories. The *-autonoumous categories may be seen as symmetric monoidal closed categories that have a dualizing object. This situation is sufficiently common in algebraic examples and explains why *-autonomous categories attracted considerable interest. The paper is not completely self-contained, it is connected with many papers based on proof-theoretical approaches to coherence. The proof is based on a categorical cut-elimination result, which is presented in some detail. A ``pedagogically'' commendable aspect of this paper is that many useful notions, often used in such coherence proofs and their connections are clearly and compactly described: several categories based on propositional languages (with \\(\\vee, \\wedge, \\neg\\) or \\(\\rightarrow, \\wedge\\) as connectives), related categories of graphs, the general notion of proof-net category and proof-net functor, etc. In the same vein, many technical results concerning the connections between these data (faithfullness of certain functors, etc.) are included.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498908$A7D3F5C8-AF63-42C7-9852-694AF182F046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498908$0B243467-DEED-4FFE-8AC2-0E9031D5E94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498908$F8AC0043-40A0-41EA-B1BB-935FF36CD68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498908$07C93D9D-773C-4B6F-A619-CEE54F53C790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498908$63E08CBE-2DF4-48CC-8509-D0DF5C31E0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498908$DC0A7AAB-2277-44CA-A923-DA01807769F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdce267724d19cf66f8a45ff371cd98f7631ad0a","datavalue":{"value":"5047226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498908$AEFFB785-52F4-4F24-A677-61487F6FFC5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0faee14ffea00dfe13ee740667a652bfc9e2248c","datavalue":{"value":"symmetric monoidal closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498908$A2571019-5108-4008-988B-99542A8C01B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c8160c93f708438c5c68a2d105df410e75c76e","datavalue":{"value":"star-autonomous categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498908$F70A7977-3169-4A5B-A648-095D71B357F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498908$4737BF41-1404-43EC-811B-6872227FA6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10242f48450356eca88b37f1fe156ac33f689b08","datavalue":{"value":"categorical coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498908$AB3FBD92-8F52-49E7-91D9-8EF3CB0EDDCD","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":"Q2498908$A7FC04D2-F687-47F2-A226-FEBBA57C0BA2","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":"Q2498908$53686E6D-EB14-4606-90F2-EA8352AD9C6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2aec823c520430fabfdb7f79bb62400bd7136dd","datavalue":{"value":"W2016432244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498908$444E72AB-0939-45D9-92F3-65471C3DADCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04308d00790b7a85cbe36d678a9ef5b0389be57a","datavalue":{"value":{"entity-type":"item","numeric-id":673964,"id":"Q673964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$BE38FF43-82AD-4037-8F7E-FFB46C1F377C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74db8a831e95996eb99c0e9b219812d0b0317aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4006228,"id":"Q4006228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$D253D708-D3D7-418B-A694-E528D3A171CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc3fbb507a0b4179e14c09c7cb7c9a5edcdd2ed","datavalue":{"value":{"entity-type":"item","numeric-id":4282573,"id":"Q4282573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$E646107C-97DC-454C-9B50-5CB7A0088FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83b6cea3f8114a041aa5af814172677040bd6bf","datavalue":{"value":{"entity-type":"item","numeric-id":685406,"id":"Q685406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$89D00DF4-0F26-499D-954F-6C146C27A591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b020a137265ace65086d5413e4842e3f5822c56","datavalue":{"value":{"entity-type":"item","numeric-id":3138536,"id":"Q3138536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$B7130B3B-B0D2-4A24-B495-42630A3D00CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$0240446E-DA2F-4AD2-9A21-C836DC763E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$44D58AB6-C77C-4EA0-8431-4C64C5540272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980757a1887430dee9d9b5553072fe78aad5fb83","datavalue":{"value":{"entity-type":"item","numeric-id":4379681,"id":"Q4379681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$5356E351-9A66-46B5-BBC9-0C6D783A6525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f628010293b94c7210ef08bb1660345a3e9d9b21","datavalue":{"value":{"entity-type":"item","numeric-id":3160565,"id":"Q3160565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$DB960A35-4A56-4090-896B-6AE9E782EAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25b2fbe3c2ba0a80571b774a81754eaeaa561dc","datavalue":{"value":{"entity-type":"item","numeric-id":4452452,"id":"Q4452452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$F7E79941-A894-44A7-A39F-7F2D6329DC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a89b3ea81f36c309658525a2ddda6228c6236c67","datavalue":{"value":{"entity-type":"item","numeric-id":3376920,"id":"Q3376920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$C320B2D4-10B9-42DD-BEFF-1D38AE8A4F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897b983090a7e7931ca4c3b1f285f76249983ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2524062,"id":"Q2524062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$87323D29-8F43-4C1C-A255-88A6FBB0E1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$C5C229D7-A948-4A8E-943E-853A38569C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a74fd76e2d9e94e09e493d795b400a0e721b82","datavalue":{"value":{"entity-type":"item","numeric-id":2544617,"id":"Q2544617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$5EA1FDBB-E7D6-4A15-9341-63476AFE9DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a70b7a445eff353577b4380fefda4e022353ad","datavalue":{"value":{"entity-type":"item","numeric-id":5655527,"id":"Q5655527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$3DFF295D-AFD4-40DE-A2AA-05C281D6FAC6","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":"Q2498908$2D8C1475-9AB4-4C52-A984-ED1FB4019DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498908$9586B729-E627-461C-98E5-E3EE8D1D5035","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34bf718638bf287fd91555ecfd01bd73fcb440eb","datavalue":{"value":"10.1016/J.APAL.2005.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498908$7EE9A9A3-4A75-4D8C-BE84-D7CB448D7B2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d5ef3313ffad92ab63539330c5ac640d3c666b","datavalue":{"value":{"entity-type":"item","numeric-id":5411254,"id":"Q5411254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0abce573ef618c71e6908119e427f160de343121","datavalue":{"value":{"amount":"+0.8831106424331665","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":"Q2498908$AB7F76D7-7E3A-4A77-9C57-9E742AAAE893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df9375042e64d5ab2185b1ff273f32904df14be6","datavalue":{"value":{"entity-type":"item","numeric-id":3413926,"id":"Q3413926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67246776fcd86ef7d04bbe83c516c518cc4c4905","datavalue":{"value":{"amount":"+0.8686437010765076","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":"Q2498908$F384D7D6-EC40-4B79-B0AB-CAE34A64995B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d7fe7665b9779afc2aa2e2df852fe9d3e2d0ef","datavalue":{"value":{"entity-type":"item","numeric-id":4928272,"id":"Q4928272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ca14d6171775d2b7312e5e20a5dd4fb70997d6","datavalue":{"value":{"amount":"+0.8476430177688599","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":"Q2498908$262E83AE-D640-462C-816F-244F2E57D1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceda49cbe9fe668c9f2fa05e5a75e75c412a8e6d","datavalue":{"value":{"entity-type":"item","numeric-id":1936110,"id":"Q1936110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9a477c45b63de18a8e9a6dfbf139ca8479d7b2","datavalue":{"value":{"amount":"+0.8448860049247742","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":"Q2498908$7FBA53E2-2EC2-4E97-A6A6-77B06D1733E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebdd0b218777c7184a5d10cf8ad8d1fba089cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4282573,"id":"Q4282573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8981d90005dd6c1fc40bbe88c184ce2b6da065e2","datavalue":{"value":{"amount":"+0.8210263848304749","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":"Q2498908$859C8B2B-D1C0-4034-AF40-5C9D41FF7545","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coherence for star-autonomous categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coherence_for_star-autonomous_categories"}}}}}