Related papers: On braided fusion categories I

We prove that every braiding on a unitary fusion category is automatically unitary, and that every unitary braided fusion category admits a unique unitary ribbon structure.

In this expository paper, we discuss and compare the notions of braided and coboundary monoidal categories. Coboundary monoidal categories are analogues of braided monoidal categories in which the role of the braid group is replaced by the…

We classify all fusion categories for a given set of fusion rules with three simple object types. If a conjecture of Ostrik is true, our classification completes the classification of fusion categories with three simple object types. To…

We introduce a finiteness property for braided fusion categories, describe a conjecture that would characterize categories possessing this, and verify the conjecture in a number of important cases. In particular we say a category has F if…

We introduce the notion of a braiding on a skew monoidal category, whose curious feature is that the defining isomorphisms involve three objects rather than two. These braidings are shown to arise from, and classify, cobraidings (also known…

We introduce, for a symmetric fusion category $\mathcal{A}$ with Drinfeld centre $\mathcal{Z}(\mathcal{A})$, the notion of $\mathcal{Z}(\mathcal{A})$-crossed braided tensor category. These are categories that are enriched over…

Let $A$ be a Hopf algebra in a braided category $\cal C$. Crossed modules over $A$ are introduced and studied as objects with both module and comodule structures satisfying a compatibility condition. The category $\DY{\cal C}^A_A$ of…

We give two proofs of a level-rank duality for braided fusion categories obtained from quantum groups of type $C$ at roots of unity. The first proof uses conformal embeddings, while the second uses a classification of braided fusion…

In arXiv:2211.04917, it was shown that, over an algebraically closed field of characteristic zero, every fusion 2-category is Morita equivalent to a connected fusion 2-category, that is, one arising from a braided fusion 1-category. This…

We analyze the structure of the Witt group W of braided fusion categories introduced in the previous paper arXiv:1009.2117v2. We define a "super" version of the categorical Witt group, namely, the group sW of slightly degenerate braided…

A criterion for M\"uger centralizer of a fusion subcategory of a braided non-degenerate fusion category is given. Along the way we extend some identities on the space of class functions of a fusion category introduced by Shimizu in…

We advance the classification of fusion categories in two directions. Firstly, we completely classify integral fusion categories -- and consequently, semi-simple Hopf algebras -- of dimension $pq^2$, where $p$ and $q$ are distinct primes.…

For a braided fusion category $\mathcal{V}$, a $\mathcal{V}$-fusion category is a fusion category $\mathcal{C}$ equipped with a braided monoidal functor $\mathcal{F}:\mathcal{V} \to Z(\mathcal{C})$. Given a fixed $\mathcal{V}$-fusion…

Braided monoidal categories arise naturally as centres of monoidal categories and have been the focus of much recent attention in both mathematics and physics. By suitably restricting the use of the exchange rule, we obtain a sequent…

We study the categorical notion of braid gauging and obtain its classical Hopf algebraic description. We demonstrate how braid gauging can provide new insights on certain categorical invariants, such as the fusion rules and the higher…

Let $H$ be a Hopf algebra in braided category $\cal C$. Crossed modules over $H$ are objects with both module and comodule structures satisfying some comatibility condition. Category ${\cal C}^H_H$ of crossed modules is braided and is…

This expository article supplies the mathematical background underpinning the braid representation calculator introduced in arXiv:2212.00831; those representations describe the sets of logic gates available to a topological quantum computer…

We investigate invertible elements and gradings in braided tensor categories. This leads us to the definition of theta-, product-, subgrading and orbitcategories in order to construct new families of BTC's from given ones. We use the…

We define the Tannakian radical of a braided fusion category $\mathcal{C}$ as the intersection of its maximal Tannakian subcategories. The localization of $\mathcal{C}$ corresponding to the Tannakian radical, termed the mantle of…

We construct a long exact sequence computing the obstruction space, pi_1(BrPic(C_0)), to G-graded extensions of a fusion category C_0. The other terms in the sequence can be computed directly from the fusion ring of C_0. We apply our result…