{"entities":{"Q674463":{"pageid":676312,"ns":120,"title":"Item:Q674463","lastrevid":63625731,"modified":"2026-04-11T14:26:42Z","type":"item","id":"Q674463","labels":{"en":{"language":"en","value":"Weakly distributive categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 986708"}},"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":"Q674463$8FD50736-AA26-432C-8254-11063E9CD0C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9f148564cb2b5730dbd15bba59b7bbac6ee26f8","datavalue":{"value":{"text":"Weakly distributive categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674463$E0C23C77-EB37-4BC1-82B2-F7FE44E261C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10bf83fb29bf90dfcc99f994842e6d112afe0aad","datavalue":{"value":"0867.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674463$EBA3F495-AF54-4342-9FD0-82241297DD68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9bebd0d9014247a43f2d9e7e1b78fca3cc7f16c","datavalue":{"value":"10.1016/0022-4049(95)00160-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674463$04C41FE5-6465-49BE-B26F-78515E0985EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c637be94ff5c478954635c44b965d4e34813a94","datavalue":{"value":{"entity-type":"item","numeric-id":673961,"id":"Q673961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674463$492FD15A-892A-47C0-9A1B-EE8B5B95F18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d982c5d0e038afc73121713cd489a6ab9fd68","datavalue":{"value":{"entity-type":"item","numeric-id":674461,"id":"Q674461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674463$9D1D466E-F0ED-483C-8D75-E139728A3E80","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":"Q674463$6BEF8915-C069-40B6-AF43-445C95AE0726","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a3b5a9efe7c2b0af45014150315aa177e1f6d5f","datavalue":{"value":{"time":"+1997-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674463$704E5427-77DA-46A8-A0C5-9AE782404DBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"36ef04ea407a6aaaecfc3e4c971f65fd3b997f7e","datavalue":{"value":"A weakly distributive category is a category equipped with two tensor products, denoted by \\(\\otimes\\) and \\(\\oplus\\), and two weak distribution natural transformations \\(A\\otimes (B\\oplus C) \\to(A \\otimes B) \\oplus C\\) and \\({(B\\oplus C) \\otimes A \\to B\\oplus(C\\otimes A)}\\), satisfying coherence conditions. With more data and conditions, it can be nonplanar, \\(\\otimes\\)-symmetric, \\(\\otimes\\)-cartesian, \\(\\oplus\\)-symmetric, \\(\\oplus\\)-cartesian, symmetric, bicartesian, with negation, etc. Notice that a distributive category is generally not weakly distributive. The 2-category of weakly distributive categories is proved to be equivalent to the 2-category of two-tensor polycategories. It is shown that this weak distributivity is precisely what is needed to model Gentzen's cut rule. Many relations between different kinds of weak distributivity are established.","type":"string"},"datatype":"string"},"type":"statement","id":"Q674463$210DF8AB-8641-4721-B6AC-B9F53224C0C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674463$F83FA83A-72BD-4228-8505-5F2100A17945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674463$A9035187-F04E-4197-B980-6C888AA12D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674463$0DD1C859-96E3-4D0F-96D6-52AF9A5F2CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674463$950DF8AD-C744-41A9-B4D8-E2C7FF5252D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674463$9408E2D4-CCB6-4BD3-8D78-3B1F79635C75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d79964c01b2d87f0c4c7fb7da256e888eeeb4cd","datavalue":{"value":"986708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674463$1999CDE9-2678-4B83-92AB-F01A391B4B19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q674463$00A86C63-C475-4568-9836-F77E22072543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff793d203895841b554e042911c42cb4638f7778","datavalue":{"value":"weakly distributive category","type":"string"},"datatype":"string"},"type":"statement","id":"Q674463$9D22E25B-2795-42A7-9519-42A206ABC528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3574e4c5e05e36831a4e9f10562ec2417ebcaaa","datavalue":{"value":"tensor products","type":"string"},"datatype":"string"},"type":"statement","id":"Q674463$A08DC3A7-DE34-4F9B-BBAA-56205F754C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe1669a7e1b16aad3d3a4304c7ea9e102405670","datavalue":{"value":"distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q674463$49683577-EE1A-4863-8169-684DB283EAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c201b3e44c632bab51463f271876684352fd64dd","datavalue":{"value":"Gentzen's cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q674463$7AE6DA53-9B00-4859-A24C-411F44DCC3CE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5f23a2b26154ae1e4026bd6fa194d4b76df2fa47","datavalue":{"value":{"entity-type":"item","numeric-id":171472,"id":"Q171472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674463$F9BD120D-3AC5-479A-9FC9-3590299D26C2","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":"Q674463$2EAEF1CE-1FF7-4177-A7DF-8346B9A4E4C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd64fac315960d87e13e5f09ccbf523ae9817eb1","datavalue":{"value":"https://doi.org/10.1016/0022-4049(95)00160-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q674463$C0B7ED52-47B5-47AD-914F-4372F22EEE24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06e424e8e0e69249482405b091936a45bcbb4a2a","datavalue":{"value":"W2018773995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674463$694A0291-1409-4E6E-AA87-754188F0663C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674463$C30E0E74-A8E0-4B2C-A57C-8151E9796883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78fecf7208d5e10f58f024bcb0693e17a99a822","datavalue":{"value":{"entity-type":"item","numeric-id":5620723,"id":"Q5620723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674463$A5E2A535-00A9-489A-9613-22B7A48A2A49","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":"Q674463$B0846310-9FE0-4222-A97F-512197043E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d96d47e70546f90af4113e353ec8a83137be18","datavalue":{"value":{"entity-type":"item","numeric-id":4282805,"id":"Q4282805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674463$9DEF019D-0E66-4C00-B522-63470C76AF67","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":"Q674463$B7968279-160E-41CC-9783-94B877595A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdaac06e68f6b31b24b191c6444d10093c65340","datavalue":{"value":{"entity-type":"item","numeric-id":3829551,"id":"Q3829551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674463$D2BAA623-A91E-45C4-AD8C-92B28029FD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce43943cdea99839778a97c2299e9ea778a76da","datavalue":{"value":{"entity-type":"item","numeric-id":4302338,"id":"Q4302338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674463$5CB018BF-E34B-4AF0-8B0D-6DF129203114","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":"Q674463$62661669-3D5A-416B-BB5F-D8BA6B6F3674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075f22b9afe2a58dd22052f5feb3620e09f48e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4940719,"id":"Q4940719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674463$7F802BFB-6479-47C8-BCD1-9EC55C26B067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee0f0266bcf1b2f590528f8d01849974e54d6b2","datavalue":{"value":{"entity-type":"item","numeric-id":1223476,"id":"Q1223476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674463$CEC32DE6-E221-4A5A-87AE-70404664A694","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":"Q674463$16611201-8A4C-4AAF-B901-C79AFE54207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119c343ed5ad0d1a3eaa370f2346f7ac9d5fc15c","datavalue":{"value":{"entity-type":"item","numeric-id":4123497,"id":"Q4123497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674463$B69460E5-A16A-416E-A085-5175E21588F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a57478e8525d0554facf7e55c7c9f15b95dcbe3","datavalue":{"value":{"entity-type":"item","numeric-id":4279256,"id":"Q4279256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674463$6CF38DEE-ABE0-460D-86FA-876DDE83BA4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cdd29fec6572abd0b588b0d3511da82fef7ad78","datavalue":{"value":{"entity-type":"item","numeric-id":3138536,"id":"Q3138536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed38500f1195da8926f8813437e7d1f7ee48c04b","datavalue":{"value":{"amount":"+0.8962255120277405","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":"Q674463$AC0E7A4E-0682-49C8-A624-B6A733DBB8E2","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":"ede4998a642b0b3dce9c1c63c3225baca8e69e5e","datavalue":{"value":{"amount":"+0.8032100200653076","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":"Q674463$134F2AEA-A201-4279-AA04-C42266921307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a087d03d7b4b14404262f0c9a79bcc7af87c0d0","datavalue":{"value":{"entity-type":"item","numeric-id":1818630,"id":"Q1818630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b466800fede6651204d7b50d197e790d1f8b65","datavalue":{"value":{"amount":"+0.7721080780029297","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":"Q674463$B22D198B-BBB2-41FC-8998-66A0332B4A5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weakly distributive categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weakly_distributive_categories"}}}}}