Compact Semisimple 2-Categories
arXiv:2111.09080 · doi:10.1090/tran/9044
Abstract
Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then, we prove that, over an algebraically closed field or a real closed field, compact semisimple 2-categories are finite. Finally, we explain how a number of key results in the theory of finite semisimple 2-categories over an algebraically closed field of characteristic zero can be generalized to compact semisimple 2-categories.
arXiv commentAdded references
References in corpus (15)
- Symmetry Protected Topological phases and Generalized Cohomology
- Fusion 2-categories and a state-sum invariant for 4-manifolds
- (Op)lax natural transformations, twisted quantum field theories, and "even higher" Morita categories
- Minimal nondegenerate extensions
- The balanced tensor product of module categories
- On dualizability of braided tensor categories
- Invertible braided tensor categories
- On the Equivalence of Module Categories over a Group-Theoretical Fusion Category
- Multifusion Categories and Finite Semisimple 2-Categories
- Condensations in higher categories
- Finite Semisimple Module 2-Categories
- The 2-Deligne Tensor Product
- Davydov-Yetter cohomology, comonads and Ocneanu rigidity
- Weak Fusion 2-Categories
- On faithfulness of the lifting for Hopf algebras and fusion categories