Finite Semisimple Module 2-Categories (2107.11037v4)

Abstract: Let $\mathfrak{C}$ be a multifusion 2-category. We show that every finite semisimple $\mathfrak{C}$-module 2-category is canonically enriched over $\mathfrak{C}$. Using this enrichment, we prove that every finite semisimple $\mathfrak{C}$-module 2-category is equivalent to the 2-category of modules over a rigid algebra in $\mathfrak{C}$.