{"entities":{"Q259624":{"pageid":261391,"ns":120,"title":"Item:Q259624","lastrevid":60509547,"modified":"2026-04-10T17:26:00Z","type":"item","id":"Q259624","labels":{"en":{"language":"en","value":"Morita theory for finitary 2-categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6558090"}},"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":"Q259624$98FA2310-0F9E-4E40-9945-59426E120735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72315d2f2c0ae5190bc6146281696e073e05dea7","datavalue":{"value":{"text":"Morita theory for finitary 2-categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q259624$0B1457CE-FDB7-4CBA-A464-B531F6970C8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72a7173eb7c5f140dd189ba37d14f0c0faf5459f","datavalue":{"value":"1346.18009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259624$489C822A-EBCA-45BB-9233-4293BCBA6EE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e183284fd00348ca465826dd7ed721c4b60e385d","datavalue":{"value":"10.4171/QT/72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259624$211D0E39-9298-4D2A-8E3C-D2EEF128FE76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5564a6cbcf2de406b30d0d95b7c4698ee6dcd24","datavalue":{"value":{"entity-type":"item","numeric-id":206795,"id":"Q206795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$BFBA53C2-912E-4956-9206-5D1CC389FAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c86f20fda42fd6f95e158b675e0df6804f4f5a4","datavalue":{"value":{"entity-type":"item","numeric-id":259622,"id":"Q259622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$97C22531-D4BB-409B-B39E-564A2EA0B6C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0d6c3e669dd836bf8afb5e1fffb8980aad9f0607","datavalue":{"value":{"entity-type":"item","numeric-id":259623,"id":"Q259623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$C37B2636-4F01-4DA7-99BB-66DA41CCFF61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"459c2533d63e77607edc999af3b493bad48eda54","datavalue":{"value":{"time":"+2016-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q259624$DF632AF2-929E-42B6-9E8D-67AAB97F2D71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4363e35af5f51d3b4028a295f095e72b3b9778b","datavalue":{"value":"https://arxiv.org/abs/1304.4698","type":"string"},"datatype":"url"},"type":"statement","id":"Q259624$476DF2D3-5BAD-48CD-91CE-4C0A79C000B2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1288fa453e1b271090d7ae9dfe91ea2958fb085a","datavalue":{"value":{"entity-type":"item","numeric-id":590059,"id":"Q590059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$9B5953B6-F9C5-4DE1-9542-3048F29BDD9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259624$546A5ABF-4E3F-47C5-A9AB-1966255E1D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ab82a73b1a87efe2ffd619938c9fe2897943f8b","datavalue":{"value":"18G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259624$B3326D30-A1E5-4DD0-A2C6-832E03A8184B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9828d161092142abeba8ebc404a6788b67cab0f3","datavalue":{"value":"16D90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259624$8D5962F3-81C8-46C6-8845-C2BB60BB3A51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9eb6a1dbc7b101232e73ea7197d0278d98347d3","datavalue":{"value":"6558090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259624$6D5B3A59-5489-43CC-BC7B-9D2679631A79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8b01fe75204ae71fe5ec2e6a7be604427b5289","datavalue":{"value":"2-representation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q259624$B85669A4-9254-4E52-A314-6C1CF445F181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc1bf0e544e710d6a22ebfe6d91660204d602e1","datavalue":{"value":"finitary 2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q259624$27561367-7366-4F03-A183-1F31223F3387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f975111e985da9420d0cb10c17a8dd4cdcc18ddf","datavalue":{"value":"Morita equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q259624$986183B9-4AE4-4479-A5A4-514A89F6D63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"429eea29b9757bb73c4e7d61a55b4aac0471fd9a","datavalue":{"value":"projective functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q259624$668313E5-2A67-4648-B4B7-C5562600C114","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":"Q259624$D4F8A443-B59C-42D4-86A8-FCF143A0E925","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9331d249ee6cb41a32da49ba98d2ffe67ad21e72","datavalue":{"value":{"entity-type":"item","numeric-id":1367059,"id":"Q1367059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$5D254365-C9D9-482E-B718-2FB292DBAAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26726010aedb19d83c072c3919e8062dd59ab763","datavalue":{"value":{"entity-type":"item","numeric-id":3726315,"id":"Q3726315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$90B9595B-AA7A-43F5-86CE-33F1092F30AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8c034b9b86ecb170b4f78d8e5fe0fa164eb65e","datavalue":{"value":{"entity-type":"item","numeric-id":3644350,"id":"Q3644350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$FE94271C-BF58-4F30-9E51-4F6264B970A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a1ef074c0eaf128d0835c8ec637ef2c722db3f","datavalue":{"value":{"entity-type":"item","numeric-id":2427310,"id":"Q2427310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$34B9F505-ACD9-453A-AA98-736EF2C4512C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9335a9f90950d180baae03fb2dde1244fe0b571e","datavalue":{"value":{"entity-type":"item","numeric-id":483231,"id":"Q483231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$46056BBD-9162-42CE-9969-84C0F710CB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a6169f5b9a6ac85097fb90a0af3bae2c027238","datavalue":{"value":{"entity-type":"item","numeric-id":2550444,"id":"Q2550444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$CCACB777-0E36-4B64-ACF0-DDA1E8F5A620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a203aa9c6cd11ce7151501c8642a6629bcc8aac","datavalue":{"value":{"entity-type":"item","numeric-id":1924119,"id":"Q1924119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$DCBB9BF0-603B-47A3-BEE7-63E390746E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74c1f78fed0a9dcb4acd8e09ca091b2101bb236","datavalue":{"value":{"entity-type":"item","numeric-id":3094100,"id":"Q3094100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$85B52563-9BE5-4332-AC43-10330F7AFF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed4386e6f5000e7bf2b9f44e5d1a775fa373d18","datavalue":{"value":{"entity-type":"item","numeric-id":2876654,"id":"Q2876654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$83C22BB1-C00E-404A-B4F7-C641B4AC2327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1827fe010ddb937fcb7a7999de59eb492848fc5","datavalue":{"value":{"entity-type":"item","numeric-id":3617609,"id":"Q3617609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$35368C9B-837E-420A-92FD-06E563FEFBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc363e0a170439458ddbdbf28f9bf18bc1d59b5","datavalue":{"value":{"entity-type":"item","numeric-id":3784284,"id":"Q3784284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$A97B6F79-254D-4173-9022-8DACD236844E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cfaf3966c571f9baf148966090581e4df149799","datavalue":{"value":{"entity-type":"item","numeric-id":1770134,"id":"Q1770134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$8B7D7180-940C-4946-B049-7D63964F53FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab1ae41eacd595e0a793db750f67d3683ad32c2","datavalue":{"value":{"entity-type":"item","numeric-id":877170,"id":"Q877170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259624$1B2B269F-9E49-45F7-B65A-ABDDD90B6C15","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ea87235a164a1586eb88c3919952726193dfb95","datavalue":{"value":"The main motivation of this paper is to develop Morita theory for finitary aditive 2-representations of finitary 2-categories.NEWLINENEWLINELet \\textbf{Cat} be the 2-category of all small categories. Let \\({\\mathbb K}\\) be an algebraically closed field. Denote by \\( {\\mathfrak A}_{\\mathbb K}\\) the 2-category whose objects are small \\({\\mathbb K}\\)-linear fully additive categories, 1-morphisms are additive \\({\\mathbb K}\\)-linear functors and 2-morphisms are natural transformations. Denote by \\( {\\mathfrak A}_{\\mathbb K}^{f}\\) the full 2-subcategory of \\( {\\mathfrak A}_{\\mathbb K}\\) whose objects are fully additive categories \\({\\mathcal A}\\) such that \\({\\mathcal A}\\) has only finitely many isomorphisms classes of indescomponsable objects and all morphisms spaces in \\({\\mathcal A}\\) are finite dimensional. The notion of finitary 2-category was introduced by the authors of this paper in [Compos. Math. 147, No. 5, 1519--1545 (2011; Zbl 1232.17015)] in the following way: A 2-category \\({\\mathcal C}\\) is called finitary if \\({\\mathcal C}\\) has finitely many objects up to equivalence, for any \\({\\mathsf i}\\), \\({\\mathsf j}\\) in \\({\\mathcal C}\\) we have that \\({\\mathcal C}({\\mathsf i}, {\\mathsf j})\\) belongs to \\( {\\mathfrak A}_{\\mathbb K}^{f}\\) and horizontal composition is both additive and \\({\\mathbb K}\\)-linear, and for any \\({\\mathsf i}\\) in \\({\\mathcal C}\\) the 1-morphism \\({\\mathbb I}_{\\mathsf i}\\) is indecomponsable. Assocaited to \\({\\mathcal C}\\) in subsection 3.4 some 2-categories o representations was defined, for example: \\({\\mathcal C}\\)-afmod. The 2-category \\({\\mathcal C}\\)-afmod (finitary 2-representations) has as objects all the homomorphisms from \\({\\mathcal C}\\) to \\( {\\mathfrak A}_{\\mathbb K}^{f}\\), as 1-morphisms all strong transformations and as 2-morphisms all modifications (see subsection 3.3 for the definitions of strong transformation and modification). In what follows, using the notation proposed by the authors, we will write Hom\\(_{\\mathcal C}\\) for Hom\\(_{\\mathcal{C}-\\text{afmod}}\\).NEWLINENEWLINEIf \\({\\mathcal C}\\) is a finitary 2-category, a finitary 2-representation \\textbf{P} of \\({\\mathcal C}\\) is called projective if Hom\\(_{\\mathcal C}\\)(\\textbf{P},-) preserves all small colimits. By \\({\\mathcal C}\\)-proj the authors denote in subsection 5.1 the full subcategory of \\({\\mathcal C}\\)-afmod whose objects are projective 2-representations. Moreover, a full subcategory \\({\\mathcal P}\\) of \\({\\mathcal C}\\)-proj is called a 2-progenerator if for any projective 2-representation \\textbf{P} of \\({\\mathcal C}\\) there is \\textbf{P}' in the additive closure of \\({\\mathcal P}\\) and strong transformations \\(\\Psi\\): \\textbf{P} \\(\\rightarrow\\) \\textbf{P}', \\(\\Phi:\\) \\textbf{P}' \\(\\rightarrow\\) \\textbf{P} such that \\(\\Phi \\Psi\\) is the identity on \\textbf{P}. The following result is the main theorem proved in this paper, i.e., the Morita theorem for finitary 2-categories: Let \\({\\mathcal A}\\) and \\({\\mathcal C}\\) be two finitary 2-categories. Denote by \\({\\mathcal A}^{op}\\) the opposite 2-category obtained by reversing all 1-morphisms and keeping the direction of all 2-morphisms. The following assertions are equivalent:NEWLINENEWLINE(a) There is a 2-progenerator \\({\\mathcal P}\\) for \\({\\mathcal C}\\) whose endomorphism 2-category is biequivalent to \\({\\mathcal A}^{op}\\).NEWLINENEWLINE(b) The 2-categories \\({\\mathcal A}\\)-proj and \\({\\mathcal C}\\)-proj are biequivalent.NEWLINENEWLINE(c) The 2-categories \\({\\mathcal A}\\)-afmod and \\({\\mathcal C}\\)-afmod are biequivalent. Finally, in the last section, the paper is completed with some examples and applications. In the last one, the authors proved that for 2-categories of Soergel bimodules the Morita equivalence classes correspond to isomorphism classes of Coxeter systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q259624$C13D88F5-1F5C-4DED-922A-DA9111D3EDEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49faf0fb9bb50d35dbd44af772a3e1e680344c04","datavalue":{"value":{"entity-type":"item","numeric-id":2121277,"id":"Q2121277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2639b7d88bbcc6372b488a1ad0b01456ad1ee85","datavalue":{"value":{"amount":"+0.8121240735054016","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":"Q259624$BD479EE0-93F8-4749-A819-69835E700D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29c270b31a4aadc7c740cdb1c6da153bb36f475","datavalue":{"value":{"entity-type":"item","numeric-id":785745,"id":"Q785745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8331a7a4a266ca8a33ff08c92d8cce674a35007d","datavalue":{"value":{"amount":"+0.7974807620048523","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":"Q259624$084DE6B8-8AB4-4E89-A372-4CE8660B1BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11edf873fc190427ed58af469e43ee9c6425cba7","datavalue":{"value":{"entity-type":"item","numeric-id":2876654,"id":"Q2876654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1d56fa8d247e74fc5ff58ac67d6aa9a4b9d4f8","datavalue":{"value":{"amount":"+0.7957555651664734","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":"Q259624$D446C83C-0647-414F-A0D8-C414B70AC655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2939b3d0b01174213b590f79dfeaa2ca435ea28a","datavalue":{"value":{"entity-type":"item","numeric-id":2821664,"id":"Q2821664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a85212dd586146a6c96cbf6b5285dc9fabc467b","datavalue":{"value":{"amount":"+0.7957457304000854","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":"Q259624$66110B9D-2CBE-4F64-A060-4CA12ECA0A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce4c0bbbe2f629a162990b36231c5912d7d822a","datavalue":{"value":{"entity-type":"item","numeric-id":1702141,"id":"Q1702141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a693afdf53de89e23d3411c70fde998ff7a037d9","datavalue":{"value":{"amount":"+0.7955144643783569","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":"Q259624$4A3AA8AB-A785-4423-B22A-31CB40BB0D0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Morita theory for finitary 2-categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Morita_theory_for_finitary_2-categories"}}}}}