The Morita Theory of Fusion 2-Categories

Abstract

We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita 3-category of separable algebras in a fusion 2-category. Then, we go on to explain how module 2-categories form a 3-category. After that, we define separable module 2-categories over a fusion 2-category, and prove that the Morita 3-category of separable algebras is equivalent to the 3-category of separable module 2-categories. As a consequence, we show that the dual tensor 2-category with respect to a separable module 2-category, that is the associated 2-category of module 2-endofunctors, is a multifusion 2-category. Finally, we give three equivalent characterizations of Morita equivalence between fusion 2-categories.

Minor corrections

Cited by in corpus (14)

• Higher categorical symmetries and gauging in two-dimensional spin systems
• Fiber 2-Functors and Tambara-Yamagami Fusion 2-Categories
• Category of SET orders
• Fusion 3-Categories for Duality Defects
• Local Modules in Braided Monoidal 2-Categories
• Twisted gauging and topological sectors in (2+1)d abelian lattice gauge theories
• On the Dualizability of Fusion 2-Categories
• (2+1)d Lattice Models and Tensor Networks for Gapped Phases with Categorical Symmetry
• Dualities between 2+1d fusion surface models from braided fusion categories
• Extension Theory and Fermionic Strongly Fusion 2-Categories (with an Appendix by Thibault Didier Décoppet and Theo Johnson-Freyd)
• 2-Drinfel'd double symmetry of the 4d Kitaev model
• Condensation Completion and Defects in 2+1D Topological Orders
• Compact Semisimple Tensor 2-Categories are Morita Connected
• Orbifold completion of 3-categories