{"entities":{"Q2709566":{"pageid":2720305,"ns":120,"title":"Item:Q2709566","lastrevid":57994680,"modified":"2026-04-03T09:25:14Z","type":"item","id":"Q2709566","labels":{"en":{"language":"en","value":"The syntax of coherence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1586422"}},"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":"Q2709566$5B4A47FA-656C-4F32-9136-C3D23BBBED60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cd914597d7b7efbbc1fb5642b917686e39da15b","datavalue":{"value":"0989.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709566$C62E465E-CEF8-4278-BCAD-FECE2FEE49BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a5c59bfbab2112714ee5e4df4caa70c3b0db080","datavalue":{"value":{"entity-type":"item","numeric-id":214205,"id":"Q214205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$777839CA-7A45-449D-AEEF-015D4A83155B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac706b748d18db4c8ad233b94727176526ac6a7","datavalue":{"value":{"time":"+2002-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2709566$5DA90097-7880-4ABE-88E2-57C9D8A231F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83921c7cf77e3152ebcc1039a72ec84a6530db9d","datavalue":{"value":"https://arxiv.org/abs/math/9910006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2709566$37A41190-CE66-482E-B9C7-E62597D53858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"afa00a9c9a32bac14441b22fc0824db20f1dea63","datavalue":{"value":"http://www.numdam.org/item?id=CTGDC_2000__41_4_255_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2709566$BC8974B0-56F4-4F40-9FA5-48E0746188C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad59b95198ed067b6ed3b443c7da32b0b070fa01","datavalue":{"value":"https://eudml.org/doc/91637","type":"string"},"datatype":"url"},"type":"statement","id":"Q2709566$2FB8CF41-2ED7-4211-B75F-F8B7ED5348BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709566$E28A8C19-44FA-4B44-BF2D-46F7511D60A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709566$B2C0B914-0FB3-4050-A8EB-E822C2E08EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cc06cc8818f42c97499b7590e26b3ddf428901c","datavalue":{"value":"55P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709566$E642FB02-F843-4A2B-AC28-1FF1933AD111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709566$C1006C00-FA5C-4E1C-AA57-68D4A3EBEC4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7ab17a5f66569cc285b463d407b72d21523d943","datavalue":{"value":"1586422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709566$1ED4C2F0-9C78-4F3C-87DB-CA545AB1F0FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709566$DEA68819-CD1E-4ED4-8268-E0FDAD4949DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07487bafb104f546819729f6af6d7a939ddb5af8","datavalue":{"value":"functorial semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709566$5EF8F2CD-51FE-4ACE-82A0-69E4104FA3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709566$F6F5CAF7-8A5A-47DB-927B-38847DF50C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17e90e5f8acbe67881a5bb5d47d572cfcea2740","datavalue":{"value":"2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709566$5C830AA3-590F-448B-869E-99FF99884097","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":"Q2709566$5258A4B0-ACD9-4C61-88BE-BB150622A482","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$BD4C9B19-BD05-418C-875C-7C41EC2640C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$4DC7B853-C918-4440-8208-505F22AA1DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e7fe1966ddfde5539baae62f6e8a65ab8f3238b","datavalue":{"value":{"entity-type":"item","numeric-id":1135922,"id":"Q1135922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$B9D8EE3A-C521-496E-8FAE-C9720F0A6141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cd20f513aa17a57d2774450a532afd4c03f426","datavalue":{"value":{"entity-type":"item","numeric-id":4085901,"id":"Q4085901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$AF77C609-27B4-4254-B12F-6F4E31A70A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e33584d63713323ac17ab3133f9cd2c5fa4ebcb","datavalue":{"value":{"entity-type":"item","numeric-id":5629815,"id":"Q5629815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$1BBA3933-9BDF-4B31-8303-00F70FA7ACB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d73260c82aeec5a53a9b29734f4c15e0b182402","datavalue":{"value":{"entity-type":"item","numeric-id":4133789,"id":"Q4133789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$45F5A9DD-05B3-42AE-969E-8BA9E9D9422E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56fbe8eda433fc66e93fb2621e5107f8cb3e77eb","datavalue":{"value":{"entity-type":"item","numeric-id":5519923,"id":"Q5519923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$5B6DB93E-9267-472C-BE68-B3AF8A811525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c37831b9e216d7349f282e6fadc496431b73ff0f","datavalue":{"value":{"entity-type":"item","numeric-id":4133790,"id":"Q4133790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$86EDA3B8-2B49-46AF-ABC3-BA0F41B9BAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3991021f8de13b7a707990108ea91f6bd16646","datavalue":{"value":{"entity-type":"item","numeric-id":1844915,"id":"Q1844915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$70B2A378-9430-4F34-867F-89DC6F559B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d48089a270b5fcf02b280a13c45caf0639655e7d","datavalue":{"value":{"entity-type":"item","numeric-id":4172200,"id":"Q4172200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$7A030A1E-8425-463D-B655-AF51DDFDB70C","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":"Q2709566$F4B77E70-A47E-483E-B07B-6AC01F73F7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4d1a108f21a7ead154234a3a776721e16a7c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4317887,"id":"Q4317887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$28E6FFD0-68D6-4E5C-9CC3-B968AB6B9AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$428440AE-AEA8-4E83-B327-DB49F0E0947D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce2eada5b3e98078fe853fac7002cdee11fdad5","datavalue":{"value":{"entity-type":"item","numeric-id":5602981,"id":"Q5602981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$B664FEB8-AEB8-4F65-BBAF-2D6084F6791F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b11fa8cf695c49f1d09cf662d55b6511460b904","datavalue":{"value":{"entity-type":"item","numeric-id":5549833,"id":"Q5549833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$8921045C-2FC5-4F0F-8809-23B3578B1270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85924a8da5caee5030eb4a1f3c99b05917948157","datavalue":{"value":{"entity-type":"item","numeric-id":4874732,"id":"Q4874732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$482E2F31-9FB6-4204-AB8A-A2896DC6E404","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":"Q2709566$7DB17134-62A3-49B6-9BA9-4C639E141D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b579fe48281820fc881814de7058c6c47ce0bc54","datavalue":{"value":{"entity-type":"item","numeric-id":1262383,"id":"Q1262383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$B418F9D8-DBD6-450E-8C78-711CDBB5DBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3030e8e11ce902fda27f8db4a377ab45d97141","datavalue":{"value":{"entity-type":"item","numeric-id":5665322,"id":"Q5665322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$8EB838E2-DA4B-43FD-ADA1-80540D075335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9d9866908cbe72b45794b0fc715be315e94040","datavalue":{"value":{"entity-type":"item","numeric-id":4357736,"id":"Q4357736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$672F3FF9-7C0B-4BFC-82B9-D09ACC7CE35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7fc9abf025ecc1c619e2184db99185864e5fee","datavalue":{"value":{"entity-type":"item","numeric-id":4934314,"id":"Q4934314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$3C175F9B-F9B6-4059-BDF9-87188B50EC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed5e7649cfd60c4abdba01a464b60e0c48f7827","datavalue":{"value":{"entity-type":"item","numeric-id":1973365,"id":"Q1973365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$766839D1-8A86-4ED8-98A6-E85D385A1636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4127fdfb38d01e306bbeb536a0252717b991c862","datavalue":{"value":{"entity-type":"item","numeric-id":2709566,"id":"Q2709566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$F8C59EC6-AAFE-4A64-89BD-BD7BFF2C1503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8770a1bc1935593cea8bcef05cceaa88ceb50f73","datavalue":{"value":{"entity-type":"item","numeric-id":3497236,"id":"Q3497236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$5E3DC141-C908-4C87-94F7-2B80C4C3FFF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e63ca76b0b67c38f7812013a8752b88a61eaf14","datavalue":{"value":{"text":"The syntax of coherence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709566$FF276EAD-A75F-49FD-BED2-C7C13530462E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a5a95b9359bffdba14e7682cd54aa1e8c969336e","datavalue":{"value":{"entity-type":"item","numeric-id":6593549,"id":"Q6593549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$8DB7F390-B914-49C4-BBA6-D3F95CED4DC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c0f2695af97b5fcd928daa64dc01e0f11e572e8","datavalue":{"value":"The goal of the paper is to carry out, in a 2-categorical setting, the functorial semantics for algebraic theories in the sense of \\textit{F. W. Lawvere} [``Functorial semantics of algebraic theories'', Proc. Nat. Acad. Sci. U.S.A 50, 869-872 (1963; Zbl 0119.25901)], suitably upgraded to 2-categories. That this is not as straightforward as the 1-dimensional case of sets with structure is well explained, as is everything else in this very clearly written and well-motivated paper. A number of open questions and future directions of work are given at the end.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709566$303466EB-D481-498A-8EF1-0F8AC541FB05","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6fdecc80f99fbf552230f8d3e11da972845bea63","datavalue":{"value":{"entity-type":"item","numeric-id":1250099,"id":"Q1250099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709566$C1D138C7-1FB7-4E01-B776-9C5B84360CC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3747e8844e5c5c5cce72d7518f078ffe2bcfe37","datavalue":{"value":{"entity-type":"item","numeric-id":2805896,"id":"Q2805896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5500f5f40af746a761a836430f9e7227bf4758f","datavalue":{"value":{"amount":"+0.7836182117462158","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":"Q2709566$2355E933-C492-4D6B-8134-81DB404FED1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a257409f4e8020d01b6038302b22fe5758aec6bf","datavalue":{"value":{"entity-type":"item","numeric-id":3156508,"id":"Q3156508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395371a58ac0c9d1ac6ce1352d0edc7d49c3fa85","datavalue":{"value":{"amount":"+0.7555129528045654","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":"Q2709566$FBAEC008-6496-4E5E-80BA-7EB831064A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c91d46aa9711083626a1d7fc9ca9308c324126","datavalue":{"value":{"entity-type":"item","numeric-id":5954120,"id":"Q5954120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f777fa61fdb7b31c2c11f2792d48ae0381430aff","datavalue":{"value":{"amount":"+0.7260962724685669","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":"Q2709566$BDE7C7F7-E569-44A8-A11C-685BD7E72877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f8b69b54d0de712720c908d71c5d7d91daa4d2","datavalue":{"value":{"entity-type":"item","numeric-id":3724520,"id":"Q3724520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b22d2f2c5b7af20af78ef0a9475650904f8c5d5","datavalue":{"value":{"amount":"+0.722182035446167","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":"Q2709566$2CFA0963-C77A-46CB-BA54-81CAAB075627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e72d6ad273051e6814c67222228fcfa2b8a9fc6","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"717f40dedacad937253948430b0968c0d779a5c0","datavalue":{"value":{"amount":"+0.7206040024757385","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":"Q2709566$B2AF249E-426A-4654-8448-AB5CF4D57141","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2709566","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2709566"}}}}}