{"entities":{"Q1936110":{"pageid":1946852,"ns":120,"title":"Item:Q1936110","lastrevid":71895408,"modified":"2026-04-14T01:15:08Z","type":"item","id":"Q1936110","labels":{"en":{"language":"en","value":"Simple free star-autonomous categories and full coherence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138020"}},"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":"Q1936110$6C4C0DF0-6063-46D3-9B3F-DFDA607C12A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a9984b8add1d4f125a438dab348554c5ae124ed","datavalue":{"value":{"text":"Simple free star-autonomous categories and full coherence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1936110$1D846BB4-50A3-4A68-B45B-3620713DEB5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12c8d71b4403b36ff353a430a4ec6a14ee2e2d9e","datavalue":{"value":"1264.18009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936110$084A6803-B662-4C44-BDE9-9001ACB03D37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91f5c09b5145beb9895e9a35451f643e912c82f0","datavalue":{"value":{"entity-type":"item","numeric-id":1936109,"id":"Q1936109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$64C5D8FF-7BD2-46C6-BD30-171CBC38836D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$BFAF528D-B7D2-4E88-9978-B99A799FD737","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ec88787b088b88fbcbfef6eb4534917e7df1ffe","datavalue":{"value":{"time":"+2013-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1936110$9E235608-FF51-4230-96E0-AD3555C04B93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"269fe3c8977801e6fde34429e640119486bc804e","datavalue":{"value":"https://arxiv.org/abs/math/0506521","type":"string"},"datatype":"url"},"type":"statement","id":"Q1936110$57D1C2CF-5AAA-44A4-B951-180C453F9149","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44e5aaa02e743def7337a9ce979a0f2a8ce484ee","datavalue":{"value":"Eilenberg-Kelly-MacLane graphs [\\textit{S. Eilenberg} and \\textit{G. M. Kelly}, J. Algebra 3, 366--375 (1966; Zbl 0146.02501)] describe certain morphisms of closed categories. The author gives a simple presentation of the free star-autonomous category [\\textit{M. Barr}, Lect. Notes Math. 752 (1966; Zbl 0415.18008)] generated by a category yielding a full coherence theorem: the commutativity of diagrams of canonical maps is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936110$9F1047F0-7DCD-40CD-9BEE-0BEE33AC64ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bd0f3ea1ec2b8b1fb0e8622389aac325f95fe94","datavalue":{"value":{"entity-type":"item","numeric-id":185049,"id":"Q185049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$11E242F4-1865-46DE-97AF-F682A597DA6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936110$2EBF39FB-3E1C-43DA-AFFB-3B30467300F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936110$4F210413-83DE-49C3-AE4D-9C572BB380F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936110$99B2047A-ACE1-445B-BF24-8872453AAB93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62f9f5170fe245ad5385e2074abaa40bf11b8158","datavalue":{"value":"6138020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936110$F1376B1B-47F6-4A0B-9415-9CEAE1389670","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab72a3e57d5f8adb139970b9103d96da6891587","datavalue":{"value":"Eilenberg-Kelly-MacLane graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936110$7C027207-A107-4FA6-8F69-80C0928FEFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"159eb22fc83356f1e6392980ca5f6f8e60be2898","datavalue":{"value":"star-autonomous category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936110$8DE3F68F-BE51-4A0C-B0D5-461AB2E4A12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09c48af6d98faaff33b296d5b535d11b4749aa5d","datavalue":{"value":"Trimble rewiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936110$E901C8D3-185E-4D62-9DA1-13606C52EEDC","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":"Q1936110$09E51ABB-94C9-41C3-9E79-576270BFAA82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62da923d6dc0bb15945d9ea7f9d14e3fd0654913","datavalue":{"value":"W2152113165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936110$59073E2B-179E-4864-855C-870F841AEA71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72f9a411bcaa82f68e52092d79e5583055ef896","datavalue":{"value":{"entity-type":"item","numeric-id":6104362,"id":"Q6104362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$01078A1C-03E9-4A25-86CD-1939D1DE99DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aacca1bae93e3371c483c354bb7d19879fee0ea","datavalue":{"value":{"entity-type":"item","numeric-id":3411960,"id":"Q3411960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$4590A50C-D2B8-477D-93E8-A5EAE71D7263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5dee1508329ebbe91043792d838e50e8c4344d","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$6DFBE554-BC6A-4229-98A5-0D207D71EC01","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":"Q1936110$036B7246-5CFA-4454-A789-2A3C9D14D899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28807a9a7ce2ea9d0a5c6e9f5f1724972d807ad","datavalue":{"value":{"entity-type":"item","numeric-id":4410005,"id":"Q4410005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$B9EDC013-0921-46B3-9D35-FC6D73171544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438520864484c8b275f3ea72703e3749f19c4c18","datavalue":{"value":{"entity-type":"item","numeric-id":3413926,"id":"Q3413926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$DD918EB8-2967-4F3A-945F-048ABB25B540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22233bee52ccb8eea1284858112deaddc3149c88","datavalue":{"value":{"entity-type":"item","numeric-id":4342439,"id":"Q4342439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$3FF5A509-CA6A-4346-9FF9-02294041A086","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":"Q1936110$D0DDB42A-81FA-424D-A0CF-C00E7FFF3EF7","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":"Q1936110$AE58206D-3BB4-4212-B4EF-44B209ADB7FC","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":"Q1936110$5F86F75F-69AC-4027-A752-48D13937FC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f81677e6c7689d372d059212f4f6d2e31315c","datavalue":{"value":{"entity-type":"item","numeric-id":3824307,"id":"Q3824307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$1FF34E1A-601A-411A-852C-7003BF63C6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$7269853E-D41E-49D6-83F7-66E65930E093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$6D256AD9-0452-4805-9EC8-2599DAB244BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5551f8a9f81295661d7b491f84c0fe988e68f13","datavalue":{"value":{"entity-type":"item","numeric-id":1175729,"id":"Q1175729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$7EDC56C4-4135-48C8-BFEE-4DD203C5B734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9439ff1de4a25ce425aff3996f741b68a86882ed","datavalue":{"value":{"entity-type":"item","numeric-id":1320266,"id":"Q1320266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$A405A725-40FF-4862-A3EA-79A8EB75D9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$549D9005-69EA-4D38-82E9-473411C19FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c313607c5b1e0df9ac4308367c819e2105df73cc","datavalue":{"value":{"entity-type":"item","numeric-id":2555556,"id":"Q2555556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$7E615372-6BA9-44E7-AAD1-8A6BDC241191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5905009ef63952206824b5e398a2894555028d0","datavalue":{"value":{"entity-type":"item","numeric-id":1146248,"id":"Q1146248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$5A6EB785-073B-4EC6-A75E-C01B5F14646E","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":"Q1936110$311EA146-6D13-4A76-B54A-26EE45577551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27581c3adec16ad411a49285db15b7b733801efd","datavalue":{"value":{"entity-type":"item","numeric-id":4499227,"id":"Q4499227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$5A7585AE-921F-4E3E-AD9A-5A73AF4475AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80df28766152bdfdf3399d36ea13f86b462e9754","datavalue":{"value":{"entity-type":"item","numeric-id":5311252,"id":"Q5311252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$9DAF4622-93A2-41A9-A69C-9053212F5A45","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":"Q1936110$F9D565D4-5840-47DB-8E0D-6B4ADB749626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9722cd4a2e3273cba83bfdf2161aaf8991717b","datavalue":{"value":{"entity-type":"item","numeric-id":1398468,"id":"Q1398468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$A166E08D-41AA-46FA-9777-BC413F188434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936110$D42196C0-236A-44BD-994E-4A2336009808","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"549c080445c58ddaab077d09d305ea1ce16edaa7","datavalue":{"value":"10.1016/J.JPAA.2012.03.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936110$3AF1B86E-811B-495F-AC65-C39414E59F87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c023c26a619a3608a512521312f0fec12e213308","datavalue":{"value":{"entity-type":"item","numeric-id":2498908,"id":"Q2498908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916f801d3332c13f8c21c78413538d77e70f670f","datavalue":{"value":{"amount":"+0.8636080026626587","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":"Q1936110$B5613190-B08F-44C7-B809-2FD7E90D895F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5042da839f30de08484a642d83f7912a1885006f","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"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":"Q1936110$5C343319-12DF-4E63-B400-D26DAAECE2AF","rank":"normal"},{"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":"1a31c397002bb4946958b081cf3a3f8c05b94458","datavalue":{"value":{"amount":"+0.8244554400444031","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":"Q1936110$7D6FEE9A-2F79-4CDE-9B93-E8528F826375","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":"9d17ae4db7d0dd4fa8ca5804e07ff785754e75e9","datavalue":{"value":{"amount":"+0.8014916777610779","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":"Q1936110$7E96D3EA-9E62-47E2-9B4E-CBA6D547E7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7809bbf23cf6d18ff1f947180d5f27ea7714554","datavalue":{"value":{"entity-type":"item","numeric-id":1604796,"id":"Q1604796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0225b8d692f39b38e7c1eb86ce9c78d2470c0fb3","datavalue":{"value":{"amount":"+0.7829931378364563","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":"Q1936110$7E955D75-45AA-4771-B28B-8C6A2A4A693D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple free star-autonomous categories and full coherence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_free_star-autonomous_categories_and_full_coherence"}}}}}