{"entities":{"Q2001422":{"pageid":2012164,"ns":120,"title":"Item:Q2001422","lastrevid":57660264,"modified":"2026-03-31T20:02:14Z","type":"item","id":"Q2001422","labels":{"en":{"language":"en","value":"Hypergraph categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076016"}},"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":"Q2001422$EEC578AC-B918-4609-B246-37D5B194B859","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd86d7fe91a900c57fa831bd44e59c7f946dfdfa","datavalue":{"value":{"text":"Hypergraph categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2001422$31149DE7-EBA8-4859-88D8-18BE28F59CC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce0a1176b1f609315361f460d405fc4458cd494c","datavalue":{"value":"1422.18010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2001422$F077EBBF-AA36-4FC9-BB5A-0E44E9154F7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"661bc28463ffc568dd534c0ae35a7876106a2021","datavalue":{"value":{"entity-type":"item","numeric-id":2001421,"id":"Q2001421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$801A924F-2B25-4B59-B582-490F0BAD1D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fbbf69258f6d48525479abc15deea1d10693da4","datavalue":{"value":{"entity-type":"item","numeric-id":618739,"id":"Q618739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$C79496F8-33B0-4EFE-A4FA-9155B45367A9","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":"Q2001422$70A64AFD-534C-4BDA-876C-465569045D99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b2283e6142fc020fab81d606e8cffb613fc5a16","datavalue":{"value":{"time":"+2019-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2001422$0F7D193B-9FB0-47CD-B461-78B44B6D8C39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47af197bea52eb7f6b5b06956563d7aae49ae817","datavalue":{"value":"https://arxiv.org/abs/1806.08304","type":"string"},"datatype":"url"},"type":"statement","id":"Q2001422$C2FA3001-6AFF-410D-9FA1-423A85C88761","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf2ab0dc820992ab4371ffa3fdc3e8d6770432f1","datavalue":{"value":"\\textit{Hypergraph categories} were rediscovered several times in several guises with several names, including well-supported compact closed categories, dgs-monoidal categories and dungeon categories. The resurgent nature of this notion comes from the reason that it has a lot of application, including automata theory, databases, circuits, graph rewriting and belief propagation, and besides, the standard definition is too involved and too ornate to grasp immediately. Here a \\textit{hypergraph category} is a symmetric monoidal category in which every object is equipped with the structure of a special commutative Frobenius monoid obeying certain compatibility with the monoid product. The principal objective in this paper is to show precisely that a hypergraph category is simply a cospan-algebra, which is, roughly speaking, a lax monoidal from cospans to sets. It was demonstrated in [\\textit{D. I. Spivak} et al., J. Pure Appl. Algebra 221, No. 8, 2064--2110 (2017; Zbl 1481.18024)] that the operad governing traced monoidal categories is the operad \\(\\mathbf{Cob}\\) of oriented \\(1\\)-dimensional cobordisms. It is similarly shown in this paper that the operad governing hypergraph categories is \\(\\mathbf{Cospan}\\), meaning informally that there is a one-to-one correspondence between the wiring diagrams interpretable in a hypergraph category \\(\\mathcal{H}\\) and cospans labelled by the objects of \\(\\mathcal{H}\\). The authors think of the cospan representation as an unbiased viewpoint on hypergraph categories, considering the category of cospan-algebras as a decategorification of the \\(2\\)-category \\(\\mathcal{H}yp\\) of hypergraph categories, which is the first main result in this paper. The second main result in this paper is the isomorphism of \\(1\\)-categories \\[ \\mathbf{Hyp}_{\\mathrm{OF}}=\\int^{\\Lambda\\in\\mathbf{Set}_{\\text{Lis}\\mathrm{t}}}\\mathbf{Lax}\\left( \\mathbf{Cospan}_{\\Lambda},\\mathbf{Set}\\right) \\] where \\(\\mathrm{OF}\\) stands for ``objectwise-free''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2001422$9E7B5DA9-3FD2-4457-998D-37A7667E7321","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$2F54FBDD-A197-40C8-BC75-5BE22CBB99BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2001422$6EB810CB-9FB4-4A64-A9A5-D6DB7F411F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9ca7ce31d5d58dbe274220a6e1fb57992f4db59","datavalue":{"value":"18D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2001422$4F568D43-501E-4A11-89C6-75D148584EB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6513dcb861ddf917a98f96280d4493294084e205","datavalue":{"value":"7076016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2001422$28AB3B86-3E40-4FF9-93FD-9D3C43753EE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f8d861e52eb9a50213871bdd84d86072b32b40","datavalue":{"value":"hypergraph categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2001422$4E04476E-9FCA-4638-BD44-EF3EAE04CF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91cda2a7f360962446f1865fa80cf4d4982ee45c","datavalue":{"value":"compact closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2001422$BB513D71-B8D9-4233-A8E2-F1D06F3C5689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b65c5a8f29315de3cbadab7f639f740a6610ea7","datavalue":{"value":"Frobenius algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2001422$9FCF5928-FE1B-4B5F-9BE8-73FBAFD95A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14ed0f1e40eab698688b27b510829a13cd2ece52","datavalue":{"value":"cospan","type":"string"},"datatype":"string"},"type":"statement","id":"Q2001422$6FB543AC-3639-4FE3-9A83-DD62DD11EDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4b9bd3674e6138a93074889400a19f7668d64a1","datavalue":{"value":"wiring diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q2001422$A1827692-84A3-41BB-9CFA-23CE485B47FA","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":"Q2001422$323C51B4-7843-49A3-81AA-F451ABD446CF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d85a1df0011115f00e72104e80561d3b25c7ecb3","datavalue":{"value":"Q64385918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2001422$099E0DC2-EB80-4AB8-A7CC-A95AF62E55FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41c67f47cb53c75e357dcb20cfa74c794fca9899","datavalue":{"value":"W2809155339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2001422$9B0BF197-F240-4D2B-B792-D2F8640567A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ef8ea51ea2701a3e110ceba4fece9cde85c76d","datavalue":{"value":{"entity-type":"item","numeric-id":4555338,"id":"Q4555338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$A1653589-5DAA-4A80-8AAB-2702AE931DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0cc3b7982640655c5720b6abdca8cdd3c10892","datavalue":{"value":{"entity-type":"item","numeric-id":2798694,"id":"Q2798694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$D8BBE7F5-A8E1-49F7-859F-DCE108BA53A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf76d6901b3941d320b66999c4a59f2846b4278e","datavalue":{"value":{"entity-type":"item","numeric-id":757580,"id":"Q757580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$0899C20C-3048-4B3D-9D0D-58AB8957138A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0c881997608753db676fb77ee2d32f21cdc35b","datavalue":{"value":{"entity-type":"item","numeric-id":4180525,"id":"Q4180525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$E1F80EC1-B01D-4DF1-88E1-C6D99964E35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f2d927628dff75b01911a5dd302ee475150aa2c","datavalue":{"value":{"entity-type":"item","numeric-id":3456326,"id":"Q3456326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$9DA9A83C-51B2-4583-AE8F-CB3782FF8620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b095917798c91a58bf76e0425197209c17738919","datavalue":{"value":{"entity-type":"item","numeric-id":5379782,"id":"Q5379782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$6F4D28E2-FFF9-41F1-8E58-B12D065902C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce6ae51c59747c05bdf8caefc77cbb3de2b3eea","datavalue":{"value":{"entity-type":"item","numeric-id":3839056,"id":"Q3839056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$5EEAD75D-3911-4CA5-B089-076937F520B2","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":"Q2001422$CA2E6F55-5D16-4CA4-99DD-CB21154FB11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5905009ef63952206824b5e398a2894555028d0","datavalue":{"value":{"entity-type":"item","numeric-id":1146248,"id":"Q1146248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$1930C5FD-21DE-457B-8C28-9C3AAAAD651A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f607db4141499ef8bfa5726ceb08483e241870","datavalue":{"value":{"entity-type":"item","numeric-id":3156500,"id":"Q3156500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$6BF7F63C-E3F3-44F9-A060-761E7DE2DEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$05D0A249-C9DA-4D1B-8FA9-5BDE6C796680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7887617c1f4cf44a2cae1cd851129ccf5d450500","datavalue":{"value":{"entity-type":"item","numeric-id":5220180,"id":"Q5220180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$325CCEFE-671B-475A-9DD3-B8C17D77CD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1bd52b3808267c5de6c43cb975929ca14ecb91","datavalue":{"value":{"entity-type":"item","numeric-id":4997297,"id":"Q4997297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$B97799DE-93C8-4496-8D86-A753361C27C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6def1004b32357d49234e24e821b2e48dae61b5","datavalue":{"value":{"entity-type":"item","numeric-id":5701017,"id":"Q5701017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$896D3C12-1A8C-4C3F-8F29-2E891021751D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b95b744584087a4c6f6306b649a16cef8b8bfb2","datavalue":{"value":{"entity-type":"item","numeric-id":1684755,"id":"Q1684755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$9A53390C-9AFD-4081-92D7-F954BF384A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ad21411d037f2166d6230939d5ab0a79447875","datavalue":{"value":{"entity-type":"item","numeric-id":3456345,"id":"Q3456345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2001422$EC057963-CE8C-433B-9EBC-63047F63031B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"118372ec90dc2d224ccd2da748bddbde32f1e0a3","datavalue":{"value":"10.1016/J.JPAA.2019.02.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2001422$508EE663-A1C9-43B1-9178-C2EE3B77EB29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e74d876a1caca284ce2388c11c56307302601a37","datavalue":{"value":{"entity-type":"item","numeric-id":4577990,"id":"Q4577990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c272744156358cc70057ffb9158cf147710329a0","datavalue":{"value":{"amount":"+0.8273304104804993","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":"Q2001422$9BBEF174-A4E8-465C-A708-637C3CC1E967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ee88770c173e8a4e38a78ee9e3d13928f64e5f","datavalue":{"value":{"entity-type":"item","numeric-id":3456326,"id":"Q3456326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7600d6ef79b75e989c5780f04bac0c5af07aca2","datavalue":{"value":{"amount":"+0.8044034242630005","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":"Q2001422$CA164CCD-1412-42AA-9D9D-8D6649B8584B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a911326c7f5db926390d27e3898289b49a8070a9","datavalue":{"value":{"entity-type":"item","numeric-id":276737,"id":"Q276737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71bb6be0a059d8594ac5382e3eb760f50c839d0a","datavalue":{"value":{"amount":"+0.7961815595626831","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":"Q2001422$0DD6DE74-712D-44C4-B5F7-F3245ABBC55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f8f96eff7cc739263bf2f0423e051f6ac001b4","datavalue":{"value":{"entity-type":"item","numeric-id":5137917,"id":"Q5137917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e500b40f685d06d6fc114b76a0fe5153f19ddd19","datavalue":{"value":{"amount":"+0.7748130559921265","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":"Q2001422$6C578EBB-76CA-4124-B716-F017B1992896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45e1d069dc96f952d972786465d899a3b52a133","datavalue":{"value":{"entity-type":"item","numeric-id":5145289,"id":"Q5145289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e7775f8dada286851389499a71ebc0cca5a688","datavalue":{"value":{"amount":"+0.7654427886009216","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":"Q2001422$7A6C3D26-7172-4241-BA53-8362BBA43015","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2001422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2001422"}}}}}