{"entities":{"Q6185380":{"pageid":13320268,"ns":120,"title":"Item:Q6185380","lastrevid":58746792,"modified":"2026-04-06T14:01:01Z","type":"item","id":"Q6185380","labels":{"en":{"language":"en","value":"The 2-Deligne tensor product"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7784809"}},"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":"Q6185380$575F571D-1A1A-4347-A65C-6B6F9BCBE10E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"323c3b305d46cd9d2c540436c973c0886b1c4d1f","datavalue":{"value":{"text":"The 2-Deligne tensor product","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6185380$756782FD-A351-4D00-B187-CD5306884031","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5759d4bb5ed8209ebf07d1e46ce907f1d7eef6f0","datavalue":{"value":"1530.18024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185380$FA878359-C78E-423D-9EAB-36F7C405B9A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b67729c261a881e3de7b458cf0d52ebce5c582e","datavalue":{"value":"10.1215/21562261-2023-0005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185380$A5821604-2A5F-4800-BD83-8D88F7F01674","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8c7c86190662cd16dc195963efdbfb9355d1356","datavalue":{"value":{"entity-type":"item","numeric-id":2134661,"id":"Q2134661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185380$791CDBC9-41F9-4D00-A129-61572CD4CF40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a62ea35b99074a9d98152aa80c262a6937628518","datavalue":{"value":{"entity-type":"item","numeric-id":272912,"id":"Q272912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185380$09CD86EC-4FFA-47C2-A575-7104A751B1FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e50f80f2416051e0e7d7d1cfabce1de8c3ea5bd","datavalue":{"value":{"time":"+2024-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6185380$8EA74ACC-16BF-400F-BCD4-EFDB2E7C0D28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ec52a222e6724ab5bbf64a25f815f37bad48d5c","datavalue":{"value":"https://arxiv.org/abs/2103.16880","type":"string"},"datatype":"url"},"type":"statement","id":"Q6185380$A1CB008A-4744-4A42-A6DE-AEEE5981B3D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ec094943937a974d91bef4d8eca461da8ea6247","datavalue":{"value":"The paper under review studies a higher version of the classical Deligne tensor product for (compact) semisimple 2-categories, called the 2-Deligne tensor product. The author proves that the 2-Deligne tensor product of two compact semisimple tensor 2-categories is again a compact semisimple tensor 2-category.  Throughout, let \\(\\Bbbk\\) be a perfect field.  Section 1 recalls notions and definitions about the classical \\emph{Deligne tensor product}. Given two abelian categories \\(\\mathcal{C}\\) and \\(\\mathcal{D}\\), their Deligne tensor product comprises -- if it exists -- an abelian \\(\\mathcal{C} \\boxtimes \\mathcal{D}\\), together with a bilinear functor \\[ \\mathcal{C} \\otimes \\mathcal{D} \\to \\mathcal{C} \\boxtimes \\mathcal{D} \\] that is right-exact in each variable, such that \\[ \\mathsf{Rex}(\\mathcal{C} \\boxtimes \\mathcal{D}, \\mathcal{E}) \\simeq \\mathsf{Rex}_2(\\mathcal{C}, \\mathcal{D}; \\mathcal{E}) := \\mathsf{Rex}(\\mathcal{C}, \\mathsf{Rex}(\\mathcal{D}, \\mathcal{E})) \\] is an equivalence of categories, for all other abelian categories \\(\\mathcal{E}\\). One can show that the Deligne product of finite semisimple \\(\\Bbbk\\)-linear (tensor) categories \\(\\mathcal{C}\\) and \\(\\mathcal{D}\\) exists, and is equivalent to the \\emph{Cauchy completion} (completion under direct sums and splitting of idempotents) \\(\\mathrm{Cau}(\\mathcal{C} \\otimes \\mathcal{D})\\) of their external tensor product \\(\\mathcal{C} \\otimes \\mathcal{D}\\) -- that is, objects of \\(\\mathcal{C} \\otimes \\mathcal{D}\\) are pairs, and a hom-space is the tensor product of the individual hom-spaces. This category is itself a finite semisimple \\(\\Bbbk\\)-linear (tensor) category. It is this construction that, in Theorem 3.7, is lifted to the 2-Deligne tensor product.  Section 2 introduces various notions needed for this. The chosen generalisations of splitting idempotents to 2-categories are \\emph{condensations} and \\emph{condensation monads}; see [\\textit{D. Gaiotto} and \\textit{T. Johnson-Freyd}, ``Condensations in higher categories'', Preprint, \\url{arXiv:1905.09566}]. A notion of Cauchy completion of a locally Cauchy complete 2-category is constructed in the spirit of the Karoubi envelope of [loc cit]. The notion of a \\textit{compact} semisimple 2-category from [\\textit{T. D. D\u00e9coppet}, Trans. Am. Math. Soc. 376, No. 12, 8309--8336 (2023; Zbl 1525.18022)] is used as the basis for the investigation.  Section 3 defines the \\textit{completed tensor product} of \\(\\Bbbk\\)-linear 2-categories, proves existence, and that it has an analogue of the universal property of the Deligne tensor product. This culminates in Theorem 3.7, which proves that the 2-Deligne tensor product \\(\\mathfrak{C} \\boxdot \\mathfrak{D}\\) of two compact semisimple 2-categories \\(\\mathfrak{C}\\) and \\(\\mathfrak{D}\\) exists.  Section 4 explores the properties of the 2-Deligne tensor product -- in particular, it is shown that \\[ \\mathrm{Hom}_{\\mathfrak{C}, \\mathfrak{D}}(C_1 \\boxdot D_1, C_2 \\boxdot D_2) \\simeq \\mathrm{Hom}_{\\mathfrak{C}}(C_1, C_2) \\boxtimes \\mathrm{Hom}_{\\mathfrak{D}} (D_1, D_2). \\] Section 5 extends the previous construction to include monoidal structure. Theorem 5.6 proves that for compact semisimple tensor 2-categories \\(\\mathfrak{C}\\) and \\(\\mathfrak{D}\\), their 2-Deligne tensor product \\(\\mathfrak{C} \\boxdot \\mathfrak{D}\\) is again a compact semisimple tensor 2-category, and the 2-functor \\(\\boxdot \\colon \\mathfrak{C} \\times \\mathfrak{D} \\to \\mathfrak{C} \\boxdot \\mathfrak{D}\\) is monoidal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185380$9FA47DF9-07FF-4795-AD2D-B7F0BDFBB6FB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d0fc5ae4fcfd3ee51c3dd80c2691840a8a2c92d2","datavalue":{"value":{"entity-type":"item","numeric-id":2682904,"id":"Q2682904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185380$50EADD4C-D228-47BA-9550-D397188F2300","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33e88cd49587eebbf304d7b3e87bac0925c2c201","datavalue":{"value":"18M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185380$75F9DDF7-8D5B-4398-A69A-E48FB5A1E215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0d839a30c46c2e45ba4ef57cf3e17bd3371e182","datavalue":{"value":"18N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185380$D73B9C5C-6813-4BD6-81FD-65AC357694D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9182fe72874242a6deecfe62c63bbf9bfe31c485","datavalue":{"value":"18M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185380$51B0AEC1-C47C-4CC8-AA0A-8EAF7CD0C3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"15b254b0244ba14eae8134dd4e521a82fc9f57e2","datavalue":{"value":"18N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185380$666D757D-0718-4950-A6F2-96E3B13B662F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db5641260779cb5aac562f0306692f8d22908486","datavalue":{"value":"7784809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185380$0AC0696F-E95E-4142-923D-4A84F8C1878C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c20a9bf503a125fd43e3e736178e8ca7efc51e4","datavalue":{"value":"2-Deligne tensor product","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185380$A8ACCB33-21E2-419E-8D6A-8CBBE0295E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95b7e6eb64e65c7466a590579e8853fad6a2b274","datavalue":{"value":"Deligne tensor product","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185380$104E9778-B223-49F4-8C1B-4F0840AE3030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e870c4941218cf89e14da9549086369069cbfdce","datavalue":{"value":"finite semisimple 2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185380$8EE8A0EB-6DCC-4710-ABD2-EDCB13D166EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5247ba008efb6e61b5326c50d10c9f5862ab5b67","datavalue":{"value":"multifusion 2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185380$9C1D38C8-0C51-47B9-98DE-83F80DFA9677","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":"Q6185380$99412DCE-783C-4CEB-9A54-CFD444D07107","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e846a5b7889f3ca19f17d63d01ad7815f77fd40","datavalue":{"value":{"entity-type":"item","numeric-id":5856141,"id":"Q5856141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185380$8F1BC083-63D3-4863-9B4E-159458729121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7830765a8b4537e1d3ce921fa7f0efeba8d91c0b","datavalue":{"value":{"entity-type":"item","numeric-id":2134662,"id":"Q2134662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185380$B9AA9327-842E-4971-8052-4DA95CF6AABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087d4b312a0b13f0b4dc07579a84707ce736b9cf","datavalue":{"value":{"entity-type":"item","numeric-id":5032479,"id":"Q5032479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185380$9A3818AD-8A9C-47DE-9A2C-4AF18619D996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1014c14ea51b2965ad6b882963a9a9c347a7c632","datavalue":{"value":{"entity-type":"item","numeric-id":3349023,"id":"Q3349023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185380$0E09C481-2CA0-444F-A899-3504D123B6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e3eb98b1bfed254d5fca2af360d2736a9e30be","datavalue":{"value":{"entity-type":"item","numeric-id":2312761,"id":"Q2312761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185380$6B459A2A-803E-46E9-9D42-C7DCBB8A313B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4684b1f7da364692d06c5d6324b630737afca1","datavalue":{"value":{"entity-type":"item","numeric-id":5613256,"id":"Q5613256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185380$06A90343-6A56-4C53-A543-A0FAA5BA8790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"827a4e23c97ce4a4d9aff817df458b610759479a","datavalue":{"value":{"entity-type":"item","numeric-id":5254775,"id":"Q5254775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185380$915E203B-E98A-471C-9DBC-149203C9ED23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639700eb121731a8f40ecd10c65a012db7ed0c1a","datavalue":{"value":{"entity-type":"item","numeric-id":2496967,"id":"Q2496967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185380$843BCC48-BD83-4ACD-8B5F-72EC49802B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49afb5f8e6d5464942cf54e5f8d6796b1418f15","datavalue":{"value":{"entity-type":"item","numeric-id":2149072,"id":"Q2149072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185380$63FF2FB7-1B0F-48A9-84DB-FAE0FCE0B138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5eb99c5cccb65d9923f7b4a042d5899d8cc0b8","datavalue":{"value":{"entity-type":"item","numeric-id":2360310,"id":"Q2360310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185380$6E9A504C-C300-46C6-845B-BD71C4E360EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfaad9f3ecd59c9d93eb1ab343835ac52cf731c6","datavalue":{"value":{"entity-type":"item","numeric-id":405919,"id":"Q405919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4107918773fe47056757931598314080c3bb20df","datavalue":{"value":{"amount":"+0.7927058935165405","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":"Q6185380$27447CC4-6A2B-420F-A77B-D94EAF474663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ec693a809e2184ddeb205f0b030495c9d668cf","datavalue":{"value":{"entity-type":"item","numeric-id":6062114,"id":"Q6062114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7792bd902b3eeed9b72854df8ad231389712d9","datavalue":{"value":{"amount":"+0.7815880179405212","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":"Q6185380$89A60171-29DA-4A50-9D8A-C8DAC8F5C681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e66bb3e76825e396b80e7482114d85cfe23fb248","datavalue":{"value":{"entity-type":"item","numeric-id":6617081,"id":"Q6617081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d20ff1b8a071291757ee948b1a1791f21fe6b9","datavalue":{"value":{"amount":"+0.7391662001609802","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":"Q6185380$4F54241A-62AE-44A4-91AE-CF0E062C0014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fffc3321ccd655670f08bd7152ef9c449e36ad4","datavalue":{"value":{"entity-type":"item","numeric-id":2737267,"id":"Q2737267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc468a5d418144622593f83f017a7b21d97a61fc","datavalue":{"value":{"amount":"+0.7281402349472046","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":"Q6185380$9EC0F6D7-36E2-439C-B08A-E9CAE4830C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9ae9e4a607b584ce49ec8ea3b84fe10a8afab1","datavalue":{"value":{"entity-type":"item","numeric-id":6624280,"id":"Q6624280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef119dfaaacbd3aebaa72bb8191237c1b8c12ca1","datavalue":{"value":{"amount":"+0.7260035872459412","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":"Q6185380$0E98A99C-E918-49BA-BF7E-71BAB70C50D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6185380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6185380"}}}}}