{"entities":{"Q2826240":{"pageid":2836978,"ns":120,"title":"Item:Q2826240","lastrevid":58016481,"modified":"2026-04-03T11:26:25Z","type":"item","id":"Q2826240","labels":{"en":{"language":"en","value":"Strict \\(\\omega\\)-categories are monadic over polygraphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6637043"}},"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":"Q2826240$BBFC01B7-CB93-49E0-B905-38F51D764C85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"897a4cbadc1255fb52839b3991cf588c0231420a","datavalue":{"value":"1356.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826240$EF3EE166-0402-449B-9755-2E0D1B62C0F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6eb1f11b1588399b186c1c29b3d325110fe4701","datavalue":{"value":{"entity-type":"item","numeric-id":534533,"id":"Q534533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2826240$95DECC93-F8BF-4CBF-A8AC-9B90EF3D67F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ea1032aa63845ef3eddb0d6daf375e1b8296445","datavalue":{"value":{"time":"+2016-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2826240$5387F7F8-5FA7-49BD-9C38-12EA72B38FD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d97dc3ab9f2c03ecd7f8f0553c1989e2ff3ed7a","datavalue":{"value":"https://arxiv.org/abs/1606.00139","type":"string"},"datatype":"url"},"type":"statement","id":"Q2826240$EED8EBBB-B460-4D59-810F-CADBA90073DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"319a7aa658c2d4438428970642037f45543fa231","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/31/27/31-27abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2826240$C0AE3578-4AB8-44C6-BA3C-AC00F896BFDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826240$98D7C93E-5723-4B5F-9C25-6E4C27174B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826240$C2028CE1-2358-4073-B360-82725BB136F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"005cad71632e7df767354fd3559e5b0a56978a9d","datavalue":{"value":"6637043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826240$7F1C1DCF-FF5C-43E0-9DAC-C4845AB29993","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbc66f47fe2d1cba23bd5d214caab8363883fb45","datavalue":{"value":"strict omega-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826240$30AB688D-ECC8-4A01-AE73-81232A132823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a753259fc6993fd2262a078b805ccf6168c2d05","datavalue":{"value":"polygraph (or computad)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826240$0BA43B1E-E363-4A04-8453-700CDE1F0A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd3d4397525f668f2d73d33d522c603e57494e4d","datavalue":{"value":"monadicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826240$72FF4712-7156-4CD7-BB30-B8FA9A9A1B5A","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":"Q2826240$EF296F17-2736-4E42-A709-9455DA6345D6","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"6b481a215d1a222186e724363494adeb57aa74c5","datavalue":{"value":"bafkreifeiolfayxbvviuyd3mqmwj4gfprfya3ndl6vbxfjidzcyzdfurna","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826240$7608DC1E-1973-457C-9882-7D5798C95F57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9667a7f5eb7668f97443f3a654bad51c2eb938cb","datavalue":{"value":{"text":"Strict \\(\\omega\\)-categories are monadic over polygraphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2826240$C9945E91-5AD1-4B8D-89B0-735933A4FAFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2826240$7057D369-6824-40C0-8775-5528B96451E0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d22ca1552a65af78c76d8e3c97930a9560afd02","datavalue":{"value":"A direct proof is presented of the monadicity of the category of strict \\(\\omega\\)-categories over the category of polygraphs (also known as computads). The proof uses similar steps as in [\\textit{M. A. Batanin}, Contemp. Math. 230, 37--57 (1998; Zbl 0932.18004)] in the finitary case. The crucial difference is that here the category of polygraphs is no longer a presheaf category; arguments relying on that are replaced by a lifting result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826240$91968472-6148-483C-BB6C-AA8B3AFA617E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b7c6be07cd55b606fa89ed15447dfc7284cf4c9b","datavalue":{"value":{"entity-type":"item","numeric-id":161581,"id":"Q161581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2826240$3EC2FF7B-EB07-4371-85C6-DF56F9719D52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eea044c5ec1183d58cd1a5e3c41aa06dd5b1966","datavalue":{"value":{"entity-type":"item","numeric-id":5149951,"id":"Q5149951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fcab4da19d5bb89159ad53374387627b378f23a","datavalue":{"value":{"amount":"+0.7979042530059814","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":"Q2826240$0219CB0C-5389-462A-BDC5-1EACC2AD29DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7397f7d12ed06f637c91d3e2b15cf19be2c91f0","datavalue":{"value":{"entity-type":"item","numeric-id":4239753,"id":"Q4239753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c80ed4346f66a995a792894476d450789bc6807","datavalue":{"value":{"amount":"+0.7910746335983276","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":"Q2826240$1B0E3A92-A677-46D3-8727-07990D35A8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"346eaf04f8ea8d7e281a0400cf4070c1420459d2","datavalue":{"value":{"entity-type":"item","numeric-id":3734626,"id":"Q3734626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3760362b0e5cd0cfe2a3ce460cb019f306efc299","datavalue":{"value":{"amount":"+0.7777187824249268","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":"Q2826240$86760B89-7B35-4E08-83CF-4FA99A17D7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b1a9e5ceb111f0d5b180fe69bffc0eb6d287cc","datavalue":{"value":{"entity-type":"item","numeric-id":2031557,"id":"Q2031557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377406c8ba9324b53a5f7269e6c671f2eca6d49f","datavalue":{"value":{"amount":"+0.7769642472267151","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":"Q2826240$E9C7B8BD-52EE-442B-93E1-AAFA1B74EE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0c366720f7a6d6f7044c01391991339b81c21e","datavalue":{"value":{"entity-type":"item","numeric-id":2182786,"id":"Q2182786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b4d575da10aca7fc21f5134792c6bfd3f8abfe","datavalue":{"value":{"amount":"+0.7760912179946899","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":"Q2826240$047FDB1E-6798-4269-B1A5-729B21699406","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2826240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2826240"}}}}}