{"entities":{"Q321896":{"pageid":323663,"ns":120,"title":"Item:Q321896","lastrevid":61022013,"modified":"2026-04-10T20:39:52Z","type":"item","id":"Q321896","labels":{"en":{"language":"en","value":"Categorified trace for module tensor categories over braided tensor categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6638973"}},"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":"Q321896$D1D89D18-7A29-49C2-BC8B-9C473C726104","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e88ee3003a6f6e4db3289cf87ae682125f2c53e","datavalue":{"value":{"text":"Categorified trace for module tensor categories over braided tensor categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q321896$14E2B72B-18A4-44AB-BA44-835CF9C62232","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4cb1cdceb3b87b18af7af8f94445795cc549c1d","datavalue":{"value":"1360.18011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q321896$72891C3A-3842-4A77-A014-D6C91B5E6C07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f1494903bd8a29b9a5cf56fdeb32f6e41428cad","datavalue":{"value":{"entity-type":"item","numeric-id":321893,"id":"Q321893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q321896$0222D4F7-C6A8-46EB-8A08-F205274BBBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d03f59e256ec13cd60147c89026c21812df4a0ca","datavalue":{"value":{"entity-type":"item","numeric-id":321894,"id":"Q321894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q321896$3C12D7AC-1DFE-44D0-AEE6-FFF5149623BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e136515aecb899530c924cc08a80ca6e0d6cd73","datavalue":{"value":{"entity-type":"item","numeric-id":417586,"id":"Q417586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q321896$8ABCB9B9-A46C-487F-880B-111EC92303BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q321896$B68F2ED2-04C4-4543-86EE-866F616B093D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b474ab9bc4d92c48e7f4bfbba41d711ae289b102","datavalue":{"value":{"time":"+2016-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q321896$05EF0EC3-4DC8-4B67-B045-8BE7F8598E0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09a4eb8240613e7630bd5b5793a5e36f42153613","datavalue":{"value":"https://arxiv.org/abs/1509.02937","type":"string"},"datatype":"url"},"type":"statement","id":"Q321896$FA7BB72D-C3BC-40AF-838A-09EA3395950F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6860e924b3aa3b3050fefe68463d2eaafef67d9","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/vol-21/29.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q321896$F5B862E5-4685-4EA5-BB63-F331EF1A3EFD","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":"Q321896$95DB0324-08BF-4CCA-8B44-95A188BDC08B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q321896$DB412F7E-D51E-44F8-91C4-496227FD4749","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3e420515b86ed4eddd4a0a7ee84dfa1b5967083","datavalue":{"value":"6638973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q321896$AC0462E6-0284-4B24-A004-F444E1A3CF96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4311b71966ce6b17c7b6644fe7e94a1f3d94dbd9","datavalue":{"value":"pivotal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q321896$490A81C3-24CF-428A-B822-182585F1EFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ec777a540f85e174b77cc75c70e39afe935bdf","datavalue":{"value":"string diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q321896$4B60DCEA-5923-4C34-A981-887866C0311F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59ea5e6223c217d2df25b43b990616cb9cb34299","datavalue":{"value":"separable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q321896$9998335D-A3E1-4A0E-BB33-F376DB8D0F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8e290c9de218e2dffdbf4a4d5f85392007c8d8c","datavalue":{"value":"separable monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q321896$589E7F7B-CD13-45EF-81DF-83E13AB604B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9abf43a1363e770ddba4bd761a27a00f1e81c155","datavalue":{"value":"Frobenius algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q321896$C78BF101-6C1D-4B4B-B51E-28B032F27263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f3baed2d9ec5f4615eef4d274804526ea5d7fe9","datavalue":{"value":"categorified trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q321896$83778371-7B90-412A-BD83-F49F1B3DA3A2","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":"Q321896$3660D958-48B4-4C72-AF1F-965CC07087A1","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"118d62ed74aa447261731049bb1e7322fcc42de5","datavalue":{"value":"bafkreihwt7fwppvjtd2gqmkw4gm7japaffd53aqfn4y3f3ce2p3ewgqqaa","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q321896$51879AEB-F178-437F-B2C0-8CE869C5042E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b06ed24ba02f23f4fb7a8db047e02f04ff0cf52","datavalue":{"value":"A monoidal category \\(\\mathcal{M}=(\\mathcal{M},\\odot, J)\\), with homs enriched in a closed braided monoidal category \\(\\mathcal{C}=(\\mathcal{C},\\otimes,I)\\), is pivotal when every object \\(A\\) has a right dual \\(A^{*}\\) and there is further supplied a monoidal (enriched) natural isomorphism \\(\\varphi_A : A\\cong A^{**}\\). The monoidal functor \\(\\mathrm{Tr}_{\\mathcal{C}}= \\mathcal{M}(J,-) : \\mathcal{M}\\to \\mathcal{C}\\) taken together with the natural isomorphisms NEWLINE\\[NEWLINE\\tau_{A,B} : \\mathrm{Tr}_{\\mathcal{C}}(A\\odot B)\\cong \\mathcal{M}(J,A^{**}\\odot B)\\cong \\mathcal{M}(A^{*},B)\\cong \\mathrm{Tr}_{\\mathcal{C}}(B\\odot A)NEWLINE\\]NEWLINE captures much about \\(\\mathcal{M}\\). Each monoid (= algebra) \\(A\\) in \\(\\mathcal{M}\\) is taken to a monoid \\(\\mathrm{Tr}_{\\mathcal{C}}(A)\\) in \\(\\mathcal{C}\\) since \\(\\mathrm{Tr}_{\\mathcal{C}}\\) is monoidal. For monoids \\(A\\) and \\(B\\) in \\(\\mathcal{M}\\), there is no natural monoid structure on \\(A\\odot B\\) since we assume no commutativity in \\(\\mathcal{M}\\). However, by convolution using the comonoid \\(A^{*}\\), the object \\(\\mathrm{Tr}_{\\mathcal{C}}(A\\odot B)\\cong \\mathcal{M}(A^{*},B)\\) is a monoid in \\(\\mathcal{C}\\). Under further assumptions, the authors prove that \\(\\mathrm{Tr}_{\\mathcal{C}}(A\\odot B)\\in \\mathcal{C}\\) is separable if \\(A\\) and \\(B\\) are. A large contribution of the paper is to establish a faithful diagramatic calculus of strings on cylinders, where the traciator corresponds to wrapping a string around the back of a cylinder.","type":"string"},"datatype":"string"},"type":"statement","id":"Q321896$20A1C4A2-FA46-4521-9D65-FB47DEF7821B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21911ce5e7a75d6fd07f6799c43f682958ec6221","datavalue":{"value":{"entity-type":"item","numeric-id":2397326,"id":"Q2397326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15bef98324ef3c12be460ca8f071d938e5bf066","datavalue":{"value":{"amount":"+0.7758167386054993","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":"Q321896$27C80F3F-AD66-410A-B458-8139BA05B224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8aefb7f95f37206a6ded572782c7b2c9f18ce7c","datavalue":{"value":{"entity-type":"item","numeric-id":376046,"id":"Q376046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fcc2664bbf1a8dd666186f712f326929bdee677","datavalue":{"value":{"amount":"+0.7716100811958313","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":"Q321896$B0A03573-9DCF-4E9A-B5F8-F11CB51D2BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"847c41ac302b2790f81c473532020ff69043628d","datavalue":{"value":{"entity-type":"item","numeric-id":1864924,"id":"Q1864924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34b6be346df320314f9bb8ba7f673037ae0c3f0","datavalue":{"value":{"amount":"+0.7668689489364624","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":"Q321896$DD09A155-A57E-42B8-9893-D35A24A698F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3832aac6a5eef1e8d6db028e948d107c04b48f3","datavalue":{"value":{"entity-type":"item","numeric-id":2658934,"id":"Q2658934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8d2a3d5f03ba6bc724687b742227c7134d583e","datavalue":{"value":{"amount":"+0.7451677918434143","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":"Q321896$EBDE62D5-54EA-4E9E-B2FD-CD8F543A4157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fa1b9de81c4de2e12edb61d5f573de3bb6f950","datavalue":{"value":{"entity-type":"item","numeric-id":2139546,"id":"Q2139546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e30490c3109f1e93d58099a5555ee57313d7041","datavalue":{"value":{"amount":"+0.7411113977432251","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":"Q321896$2FAC6071-CB83-4DDF-80DD-2D882255F3FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorified trace for module tensor categories over braided tensor categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorified_trace_for_module_tensor_categories_over_braided_tensor_categories"}}}}}