{"entities":{"Q502628":{"pageid":504395,"ns":120,"title":"Item:Q502628","lastrevid":62355399,"modified":"2026-04-11T05:31:52Z","type":"item","id":"Q502628","labels":{"en":{"language":"en","value":"A coherence theorem for pseudonatural transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6670805"}},"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":"Q502628$FE765C0F-5C74-4F7F-A407-24EE414567A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ca478949ef8c871ec4e85a4c8b8fcbd60aacbc1","datavalue":{"value":{"text":"A coherence theorem for pseudonatural transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q502628$1F081451-5936-4CD4-A0D9-D55A1BEEEC18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bde52aec8f4789d0a8c5809eaff050b09928f72f","datavalue":{"value":"1373.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502628$C2C7F6B9-B05E-43B0-9858-1A832BFE66C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"951274469bdeb82f4554be2b0e34a39f11f49c03","datavalue":{"value":{"entity-type":"item","numeric-id":502627,"id":"Q502627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$CB96C1CD-7E3A-4A42-BEFC-96DD6D7F96F0","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":"Q502628$092EFB12-68B9-4803-A31E-DA3012E5FBC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"760e9b62711d69fa60d91085ddfcfbb47e8478ef","datavalue":{"value":{"time":"+2017-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q502628$D4F1355F-E6A6-4532-B859-AF5B2402422F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b02cfb68afc8a10eec866299fb80b53649b7360","datavalue":{"value":"https://arxiv.org/abs/1508.07807","type":"string"},"datatype":"url"},"type":"statement","id":"Q502628$94A5F099-3DE1-4994-BB85-0F5A8810E236","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c34d467e5c3a210c96d1fda7ace12befd33b1e4","datavalue":{"value":"This paper contains coherence theorems expressed in terms of free \\((n,p)\\)-categories and the following terminology. An \\((n,p)\\)-category for this author is a strict \\(n\\)-category in which, for all \\(k>p\\), every \\(k\\)-cell is invertible. The notion of computad \\(\\Sigma\\) appropriate to this structure is called an \\((n,p)\\)-polygraph (following terminology of Albert Burroni rather than the reviewer). The free \\((n,p)\\)-category on \\(\\Sigma\\) is denoted by \\(\\Sigma^{*(p)}\\). The \\(2\\)-dimensional notion of sesquicategory is generalized to dimension \\(n\\) and called an \\(n\\)-white-category. The word used for rewrite termination and confluence is convergence. The word used for existence of \\((m+1)\\)-cells between parallel pairs of \\(m\\)-cells is \\(m\\)-coherent.  There is a \\((4,2)\\)-polygraph \\(\\mathbf{Assoc}\\) encoding the structure of category with an up-to-isomorphism associative tensor product satisfying the Mac Lane pentagon. Mac Lane's coherence theorem for the structure becomes: \\(\\mathbf{Assoc}^{*(2)}\\) is \\(3\\)-coherent.  Coherence for bicategories becomes the result that, for any set \\(\\mathbf{C}\\), the \\(4\\)-polygraph \\(\\mathbf{BiCat[C]}\\) is \\(3\\)-convergent and the free \\((4, 2)\\)-category \\(\\mathbf{BiCat[C]}^{*(2)}\\) is \\(3\\)-coherent. Coherence for pseudofunctors becomes the result that, for any function \\(\\mathbf{f} : \\mathbf{C}\\to \\mathbf{D}\\), the \\(4\\)-polygraph \\(\\mathbf{PFonct[f]}\\) is \\(3\\)-convergent and the free \\((4,2)\\)-category \\(\\mathbf{PFonct[f]}^{*(2)}\\) is \\(3\\)-coherent. Yet a coherence of this precise form for pseudonatural transformations is spoilt by the fact that \\(\\mathbf{PNTrans[f,g]}\\) is not \\(3\\)-confluent. The problem is resolved by observing that the so-called \\(2\\)-Squier condition of depth \\(2\\) is satisfied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q502628$8BFFF4CC-56E3-4B99-B082-B98B89A7F6CC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c0c032067868ff55a80ca4512a724b32d77651f1","datavalue":{"value":{"entity-type":"item","numeric-id":590398,"id":"Q590398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$A6348AB3-B931-46CB-A1A9-6DD5A77DCE6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502628$65AD641B-5526-4DE6-80E6-4086F8021942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502628$7B4D6812-120E-417F-8C6E-BD416489A54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502628$87C8EE85-DAC5-4991-911A-551CA9D0F243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"983a596fcaf5e9f858c576e91f4228679d1d7d56","datavalue":{"value":"18B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502628$CDA4D38D-5729-410F-B9B3-31642917EE06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab2057f802ba755d4ce771b304e7b81a7ce71ae1","datavalue":{"value":"6670805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502628$AF49DCA9-C1C0-47C9-A0F1-2A9C847CE041","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c34cfe223316591f56cdf41b66e4b6aa918f66","datavalue":{"value":"polygraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q502628$966CC1C2-6CE5-4062-A513-35832BD44CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"824163681adaddebae0bf9a19dafddbf573812b4","datavalue":{"value":"\\(n\\)-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q502628$0BF1CFBE-614E-43F2-8943-08F56CA0E363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q502628$6334231F-AFF0-4239-95BF-A552F4908C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q502628$BFD2B7C0-237B-49E0-92CF-0D6BADD3BBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21ef8cbe49264e49e46ae5e6e149a7a2b1a2007e","datavalue":{"value":"pseudofunctor","type":"string"},"datatype":"string"},"type":"statement","id":"Q502628$A88AA2FF-43FA-4CA7-AD94-57CB72769FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8c18026a8fd9f97122c51872f63da594ba6f1f9","datavalue":{"value":"bicategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q502628$BBB9437D-8EE6-49B6-9413-3AD526AF4CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac28363b1e3cc82a6230363363d736c38866033c","datavalue":{"value":"computad","type":"string"},"datatype":"string"},"type":"statement","id":"Q502628$4D397C4C-7EE2-423B-B458-F89F96C5CF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5db917c050cabaa6dfdc81f562d61991d012b7e","datavalue":{"value":"sesquicategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q502628$29A75156-B056-4D39-A4EC-73A46A0BBA3B","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":"Q502628$0F16AA79-0F78-4722-B3B2-F7B10993166F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"510c3a6f787b4e7b74ca001d26d2ae638cc2eb35","datavalue":{"value":"W2208565048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502628$5283086B-3767-44F6-962A-328DCACD582E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$24CD5EA9-551D-4F70-A794-335E08FD18A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02440399404883cec035c4ba4333b0b2f70b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596052,"id":"Q4596052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$46902DC5-7149-4D83-9FF9-59A360040496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cef53c7037b1a86f6623b7127f9ba782e8f7644","datavalue":{"value":{"entity-type":"item","numeric-id":685405,"id":"Q685405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$9ED2EA2E-9C19-4B62-86AB-212567F52A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38ca1b7165428b3543d0d6913b47bd3b4926438","datavalue":{"value":{"entity-type":"item","numeric-id":2996840,"id":"Q2996840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$6199FEDE-3E91-4E5B-8996-66890CA8CD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02a607e1ede23f8650cbf16a65e437b9ab59693","datavalue":{"value":{"entity-type":"item","numeric-id":5259734,"id":"Q5259734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$494864AA-F451-42AB-9474-E56814BEAB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c0748c13848cb4c16aa9f2659903e2bcc2f369","datavalue":{"value":{"entity-type":"item","numeric-id":3646431,"id":"Q3646431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$737932E4-BBCE-4DB8-BEBF-6A7F0F587814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c251ff64968624bbf95e3233239cb0900c318a2d","datavalue":{"value":{"entity-type":"item","numeric-id":4649461,"id":"Q4649461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$A92F74B3-E596-450C-B2AE-4DAA75749DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a1bb9f09803578a9b141d787cf70b941ab80b27","datavalue":{"value":{"entity-type":"item","numeric-id":456807,"id":"Q456807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$E5B502C1-60AB-4AF0-9BC5-03C8588BDEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a195be33528244250c7da71b6a313c57e544d08","datavalue":{"value":{"entity-type":"item","numeric-id":4100669,"id":"Q4100669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$37E0267A-9538-4DC8-BA58-71E6A1E53023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c0a90e341374ef6613eaa19a97f350ffa5513e","datavalue":{"value":{"entity-type":"item","numeric-id":5656910,"id":"Q5656910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$B6ADB284-9697-4FAF-9AE4-5DB3902925D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280ade1b32e8c60a5983b1b9f0f1049f9968f47e","datavalue":{"value":{"entity-type":"item","numeric-id":1593473,"id":"Q1593473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$B3819C66-888B-4DA3-A22B-7334B39B8D35","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":"Q502628$C0613D2A-07DD-49C0-BA01-806F49EB46EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e66dd046cdb77e6e8c7dc93065e7de699e9761ef","datavalue":{"value":{"entity-type":"item","numeric-id":1059704,"id":"Q1059704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$B04C82C2-AE42-4760-9BE5-46790692E425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383a39b1ce017467011b6e89cb2704b2238641f2","datavalue":{"value":{"entity-type":"item","numeric-id":2472759,"id":"Q2472759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$010CC4AF-9899-4631-B8FB-00491B6D1617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da08513c49f55c5a21885e3cee3df56dcf0e19c5","datavalue":{"value":{"entity-type":"item","numeric-id":1118027,"id":"Q1118027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$8281503F-311E-4FB2-9137-4B884CED443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c260958271d6aee451dc905aef247eb6564cbfa2","datavalue":{"value":{"entity-type":"item","numeric-id":1331943,"id":"Q1331943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$8CC5AFEA-60CD-40FC-ACAD-658CEADD29E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe495bb2f790c5b3a640dbf864625c57ad83d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1229294,"id":"Q1229294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$001BE9F9-E6EB-49B4-AAE1-CE0EE144A60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ebb2a83f19a3a0b83f725cda3ca2e99678c846","datavalue":{"value":{"entity-type":"item","numeric-id":1112955,"id":"Q1112955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$EFBE01D6-D3E9-416C-96F1-7A04452D89AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c09bc300ef8432af8f61322c2d314f6b6240b0","datavalue":{"value":{"entity-type":"item","numeric-id":4893208,"id":"Q4893208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502628$AFFCB88E-8BD7-4507-9415-597AB26945A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8c810788e62205cfec4e8194e035dfdb4419873","datavalue":{"value":"10.1016/J.JPAA.2016.09.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502628$4CF90865-9FDC-4FFC-AF81-092207690C52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ca0e4d4c0291b052485251c3965fc4422970e9","datavalue":{"value":{"entity-type":"item","numeric-id":5037746,"id":"Q5037746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0359d922ad702642c6bf470185f04e5688f4c3","datavalue":{"value":{"amount":"+0.7894240617752075","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":"Q502628$FDD9A6D7-EDD4-4EC5-9C1F-1F99208B6BA9","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":"98068370cf413cc6762a002663bde1860d1a1c63","datavalue":{"value":{"amount":"+0.7868785858154297","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":"Q502628$7F3B56C4-87A7-4981-BF92-60351342B0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e76e7d33fd7166ccc23d4b3d8d6552a43817dcf","datavalue":{"value":{"entity-type":"item","numeric-id":1118027,"id":"Q1118027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259795cdd45efded5465d56f3eb48ec8298d4d4d","datavalue":{"value":{"amount":"+0.756718635559082","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":"Q502628$AEEBFC49-CFD5-4C47-ABE3-3553A698F8B2","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":"42c0dea7b13a0198b64c527befbdb7aa494917a2","datavalue":{"value":{"amount":"+0.7496193647384644","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":"Q502628$9DA2D9B6-47F7-4B95-B347-86DDF62371FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7b77201b1e58c0f276705e055b249cef0c3270","datavalue":{"value":{"entity-type":"item","numeric-id":5877242,"id":"Q5877242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06865e28849bde09dbffeb0881caa82eb7188a1b","datavalue":{"value":{"amount":"+0.7488114237785339","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":"Q502628$7A4D4542-116F-41A6-B79C-B46BE34F7311","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A coherence theorem for pseudonatural transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_coherence_theorem_for_pseudonatural_transformations"}}}}}