REVIEW 4 cited by
The Morita Theory of Fusion 2-Categories
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original 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.
Forward citations
Cited by 4 Pith papers
-
Compact Semisimple Tensor 2-Categories are Morita Connected
Every compact semisimple tensor 2-category is Morita equivalent to a connected one over arbitrary fields of characteristic zero, with applications to Witt groups and Galois cohomology.
-
On \'Etale Algebras and Bosonic Fusion 2-Categories
Connected and Lagrangian étale algebras in Z_1(2Vect^π_G) are classified by subgroups, braided fusion categories with group actions, and 4-group morphism data; this yields a parametrization of bosonic fusion 2-categories.
-
Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories
Explicit construction of dual bimodules from Frobenius algebras in monoidal 2-categories, with promotion of coherent duals and proof that special Frobenius algebras in 2Vect are rigid.
-
Orthonormal bases for higher Hilbert spaces
For finite-dimensional 3-Hilbert spaces, orthonormal bases exist uniquely up to contractible choice, and the Yoneda embedding into the presheaf 3-Hilbert space is an isometric equivalence.
Discussion (0). Continue with ORCID to comment.