Morita theory for finitary 2-categories (Q259624): Difference between revisions

The main motivation of this paper is to develop Morita theory for finitary aditive 2-representations of finitary 2-categories. Let \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}}\). If \({\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: (a) There is a 2-progenerator \({\mathcal P}\) for \({\mathcal C}\) whose endomorphism 2-category is biequivalent to \({\mathcal A}^{op}\). (b) The 2-categories \({\mathcal A}\)-proj and \({\mathcal C}\)-proj are biequivalent. (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.