{"entities":{"Q5932504":{"pageid":8109306,"ns":120,"title":"Item:Q5932504","lastrevid":93399563,"modified":"2026-06-05T04:19:53Z","type":"item","id":"Q5932504","labels":{"en":{"language":"en","value":"Braided logic: the simplest models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1602932"}},"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":"Q5932504$3C206059-661C-4403-8FDE-155D944FC3A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d3e639e5648222d4a2fee1a9ced498b9db0d334","datavalue":{"value":{"text":"Braided logic: the simplest models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932504$88AF1B65-1F1E-4575-94A8-CF2CF1E02BF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c3c7e626bfb02a1a8dc6ac77751948554b63dbd","datavalue":{"value":"0976.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932504$3F5D6E6A-10F3-4726-BFCC-80352B3FEA64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4e2f4b8c33e0f97701a5b81d69b9887ec9f7a24","datavalue":{"value":"10.1023/A:1003727109528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932504$DBA9A549-4742-4588-B3CE-1C206EC3A242","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5df8794707346271131b927a6bfc4bfbec73c2aa","datavalue":{"value":{"entity-type":"item","numeric-id":178191,"id":"Q178191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932504$D3B0F5CC-3B81-44B8-A5DD-E12B5A74AF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31690f7620e98a6c44074b867e934a7e2bbf6b15","datavalue":{"value":{"entity-type":"item","numeric-id":178192,"id":"Q178192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932504$D0D33BE0-D961-4548-99FF-2A6FC96D187A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932504$64B9DB6D-EA3A-4C46-805B-AF31D14F6C77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5932504$95F0B101-AF24-4CE8-86BF-1ABDF10E9109","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6aee8601dce71304d6174e0f0e6d9c21bd040f16","datavalue":{"value":"A braided logic is, by definition, an equational logic (a language with axioms) containing the Artin braid axiom. A language is defined as a functor from a category of alphabets to a category of free operads (clones, algebras of terms, operads of words,\\dots). A collection \\(G_0\\) of \\(0\\)-cells is a free monoid generated by a singleton \\(0\\)-cell. A model of a \\(1\\)-cell \\(\\in G_1\\) is a functor or a concrete operation. A model of a \\(2\\)-cell \\(\\in G_2\\) is a natural transformation of functors. An alphabet of \\(1\\)-cells is generated by grafting a free operad of derived \\(1\\)-cells and an alphabet of \\(2\\)-cells of \\(G_2\\) expands to \\(2\\)-cells among grafted \\(1\\)-cells. A \\(2\\)-cell \\(f\\in \\text{nat}(\\alpha,\\beta)\\) is said to be of type \\((\\alpha,\\beta)\\), if the corresponding alphabet of \\(1\\)-cells consists exactly of two letters \\(\\alpha\\) and \\(\\beta\\). A model of an abstract operation \\(f\\in \\text{nat}(\\alpha,\\beta)\\) is a gebra of type \\((\\alpha,\\beta)\\) (shortly \\((\\alpha,\\beta)\\)-gebra), i.e., a pair \\((A,fA)\\) consisting of an object \\(A\\) and a \\(1\\)-morphism \\(fA:\\alpha A\\to \\beta A\\) (a \\(\\beta A\\)-valued operation on \\(A\\)). The family of all gebras of a given type is an \\((\\alpha,\\beta)\\)-category. The categories of \\((\\alpha,\\text{id})\\)-gebras, \\((\\text{id},\\gamma)\\)-gebras, and \\((\\tau,\\tau)\\)-gebras, respectively, are equivalent, where \\(\\text{id}\\in G_1\\) is some identity \\(1\\)-cell.   In this paper equational classes of ``braided'' gebras in a category of type \\((\\tau,\\tau)\\) are studied as a possible alternative to the classical equational classes of type \\((\\alpha,\\text{id})\\). The main result is the proof that on a two-element set there are exactly 43 models of the Artin braid axiom  \\[ (\\text{id}\\times \\sigma)\\circ (\\sigma\\times \\text{id})\\circ(\\text{id}\\times \\sigma)= (\\sigma\\times \\text{id})\\circ (\\text{id}\\times\\sigma)\\circ (\\sigma\\times \\text{id})\\quad (\\sigma\\equiv (\\alpha,\\beta)\\in (2\\mapsto 2)) \\]  among 256 possible operations of type \\((2\\mapsto 2)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932504$CFE3A0CC-D642-4222-8447-DB7BD64C8249","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6537e4dbc27d6024722d6db5255b901cc30f77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1177860,"id":"Q1177860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932504$86A41E61-3FED-48AC-96D4-72C3375FB3FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932504$65EAEA9F-57C8-46E1-8D1F-49BD3B2949F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932504$D055E23C-E119-4AF4-835C-46D5038DB5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932504$3F51F366-17F0-4BDB-BA8C-2B9DBC8DC246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f68e06ec506820e62b3210862b300fec91b68b59","datavalue":{"value":"18A23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932504$A47A8556-E91E-4B5C-BC68-A4031284DA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932504$C1D509EE-C545-477D-91E2-5AB7C33AC286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932504$41232A08-D6AB-45BD-BCCB-881BCD23C102","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0854b2bdaa8df96b921ff773463cbef67cd43ad","datavalue":{"value":"1602932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932504$A99A6FE7-76B9-480B-82D1-FD044DDA0C97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0380003332b6898d6bb97599c427c6190fc37778","datavalue":{"value":"equivalent categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932504$18872E0B-45B6-4E56-ADDB-5FE4BCBFC56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b7e8cd0d556e037b4fb021bc70b9aa5359df40","datavalue":{"value":"\\(i\\)-cell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932504$C13F2BF2-C53D-40A1-A7F3-1A3B26B3E83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ed5933309bb61d67485fbcc2421a654c70c715f","datavalue":{"value":"grafting of graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932504$1C2A669D-049F-4B62-8DB2-9A6FE2EBCE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f116fa1555074da00cd54f68dbc4121b0a79482e","datavalue":{"value":"\\(k\\)-essential operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932504$3AB80B56-C370-422F-977A-DDBF5BED3037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbbc1722777e0397200f1f4845da6eaaa48209f6","datavalue":{"value":"minimal relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932504$F1A825C5-C19E-4434-A4C7-77B8A85974CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0313bb054a7148ba49284f7602dba181ef91aeec","datavalue":{"value":"braided logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932504$04EAF103-77E5-4471-8CAA-45088DBF4E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932504$E5055DC2-710F-496E-BE55-104F10A89A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642e52c0a1ba47f651ecbbfd9c47d822467fa1f2","datavalue":{"value":"Artin braid axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932504$C913DC01-DA24-4B9E-9806-24BEED0776B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9a879e102e97b8514161878d23dea5b576849e6","datavalue":{"value":"free operads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932504$8B0C3758-2145-45F6-B70E-6AB09CB2257D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbe110abcfe46f87f4a0cea4a4983e9bd9987829","datavalue":{"value":"gebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932504$48001EA3-13E4-46B6-B904-B06C3D15C1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe14137166e2eef9ab43af054a90dfcc5c7dd4a","datavalue":{"value":"equational classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932504$0A8C4F82-6215-4132-A995-D0F44E140144","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":"Q5932504$338CF819-7FC0-4299-82D9-C4AE6C5A6083","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6aef4ace26ea970b75f24ba741b5fd50b0c34a4","datavalue":{"value":"https://doi.org/10.1023/a:1003727109528","type":"string"},"datatype":"url"},"type":"statement","id":"Q5932504$CB051ADD-1AC2-498F-864B-5A7D17D829D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b094b4358fae165cbf9bbdfa1ebe43df971debec","datavalue":{"value":"W100661875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932504$5F7FEE7F-70C7-4C14-9410-94341485BD39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51cda4b5b85721a05be9610ddbc62b2686c5f356","datavalue":{"value":{"entity-type":"item","numeric-id":2350313,"id":"Q2350313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f173d1724858eeb0ea664a0f04454c85c458f4","datavalue":{"value":{"amount":"+0.7010334134101868","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":"Q5932504$922F3FD3-FDAD-4BA2-A379-6F4DAAFFE617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f0fb19110552f879f5f1b19d88262ed761c499","datavalue":{"value":{"entity-type":"item","numeric-id":5132358,"id":"Q5132358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"805f7166d33936bb3cc45b14dd658f6b12ce7b21","datavalue":{"value":{"amount":"+0.683774471282959","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":"Q5932504$F375E028-04D9-4172-BF44-15E1D79D58EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e577ce27bde0219a9226445ec9ef49c9e4653b9","datavalue":{"value":{"entity-type":"item","numeric-id":1882996,"id":"Q1882996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ac1ddc4946415a85b8b8ae2cbb4ae60ba5c336","datavalue":{"value":{"amount":"+0.6777713298797607","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":"Q5932504$B7A96860-C5A2-492A-A410-25E6E958469F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d83dfe7fc9e9e4b2a8698ce9469c045e7c9c517e","datavalue":{"value":{"entity-type":"item","numeric-id":2464790,"id":"Q2464790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f575a8f093d3ae35a03c56009bcef4dd84f42d","datavalue":{"value":{"amount":"+0.6773942708969116","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":"Q5932504$20634879-4720-40CB-9AD2-29035A89E74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ae84bed107df89cf51da66f9bd908584078209","datavalue":{"value":{"entity-type":"item","numeric-id":5693578,"id":"Q5693578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906e4545ddc5c1be1bf3258cd2971873b0dc617f","datavalue":{"value":{"amount":"+0.6756088733673096","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":"Q5932504$628CA48E-9E75-41AE-A5F5-EABB494F3F2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Braided logic: the simplest models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Braided_logic:_the_simplest_models"}}}}}