iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://ncatlab.org/nlab/show/fusion 2-categories
fusion 2-category in nLab

nLab fusion 2-category

Context

2-category theory

Monoidal categories

monoidal categories

With braiding

With duals for objects

With duals for morphisms

With traces

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Internal monoids

Examples

Theorems

In higher category theory

Contents

Idea

A categorification of the notion of fusion categories to 2-categories.

Properties

Tannaka-Krein reconstruction theorem

The Tannaka duality establishes a correspondence between (multi-)fusion categories and weak Hopf algebras. It is expected that an analogous statement holds for the higher categorification of this setting. The theorem corresponding to the specialization of this setting to fusion 2-categories and semisimple Hopf categories (as opposed to multi- fusion 2-categories and weak Hopf categories) appears in (Green (2023)).

Theorem

(Tannaka-Krein reconstruction theorem for fusion 2-categories)

There is a symmetric monoidal equivalence, contravariant at the level of 1-morphisms, between the full subcategory of 3Vec/2Vec3Vec/2Vec consisting of locally faithful functors and the 2-category of 2-Hopf Algebras. The natural transformations associated to this equivalence reconstruct a semisimple Hopf category from its fusion 2-category of representations and fiber functor, and a fusion 2-category with fiber functor FF from the Hopf category End(F)End(F).

References

On the classification of fermionic (i.e. super-) fusion 2-categories:

In the context of “generalized global symmetries”:

  • Wenjie Xi, Tian Lan, Longye Wang, Chenjie Wang, Wei-Qiang Chen, On a class of fusion 2-category symmetry: condensation completion of braided fusion category [arXiv:2312.15947]

Last revised on November 12, 2024 at 08:48:47. See the history of this page for a list of all contributions to it.