Related papers: The Fusion Categorical Diagonal
We develop a unified categorical framework for gauging both continuous and finite symmetries in arbitrary spacetime dimensions. Our construction applies to geometric categories i.e. categories internal to stacks. This generalizes the…
We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gives higher-order expressivity. We demonstrate that Frobenius…
A Frobenius algebra is a finite-dimensional algebra $A$ which comes equipped with a coassociative, counital comultiplication map $\Delta$ that is an $A$-bimodule map. Here, we examine comultiplication maps for generalizations of Frobenius…
We consider traces on module categories over pivotal fusion categories which are compatible with the module structure. It is shown that such module traces characterise the Morita classes of special haploid symmetric Frobenius algebras.…
We investigate Frobenius algebras and symmetric algebras in the monoidal category of right comodules over a Hopf algebra $H$; for the symmetric property $H$ is assumed to be cosovereign. If $H$ is finite dimensional and $A$ is an…
We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact connected W*-algebra objects. Although…
We study properties of the category of modules of an algebra object A in a tensor category C. We show that the module category inherits various structures from C, provided that A is a Frobenius algebra with certain additional properties. As…
We discuss generalizations of the notion of i) the group of unitary elements of a (real or complex) finite dimensional C*-algebra, ii) gauge transformations and iii) (real) automorphisms, in the framework of compact quantum group theory and…
We characterize Frobenius and separable monoidal algebra extensions $i: R\ra S$ in terms given by $R$ and $S$. For instance, under some conditions, we show that the extension is Frobenius, respectively separable, if and only if $S$ is a…
We introduce the category of singular 2-dimensional cobordisms and show that it admits a completely algebraic description as the free symmetric monoidal category on a twin Frobenius algebra, by providing a description of this category in…
We introduce a new avatar of a Frobenius P-category F in the form of a suitable sub-ring H_F of the double Burnside ring of P - called the Hecke algebra of F - where we are able to formulate the generalization to a Frobenius P-category of…
The `spider theorem' for a general Frobenius algebra $A$, classifies all maps $A^{\otimes m}\to A^{\otimes n}$ that are built from the operations and, in a graphical representation, represented by a {\it connected} diagram. Here the algebra…
We consider quantum group representations Rep(G_q) for a semisimple algebraic group G at a complex root of unity q. Here we allow q to be of any order. We first show that the Tannakian center in Rep(G_q) is calculated via a twisting of…
We describe an approach to classification of fusion categories in terms of Morita equivalence. This is usually achieved by analyzing Drinfeld centers of fusion categories and finding Tannakian subcategories therein.
This paper has two tightly intertwined aims: (i) To introduce an intuitive and universal graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies derivations in the area of quantum computation and information.…
We consider, for each exchange matrix B, a category of geometric cluster algebras over B and coefficient specializations between the cluster algebras. The category also depends on an underlying ring R, usually the integers, rationals, or…
Let $(1)$ be an automorphism on an additive category $\mathcal{B}$, and let $\eta\colon (1)\to {\rm Id}_{\mathcal{B}}$ be a natural transformation satisfying $\eta_{X(1)}=\eta_X(1)$ for any object $X$ in $\mathcal{B}$. We construct a new…
We give an explicit description, up to gauge equivalence, of group-theoretical quasi-Hopf algebras. We use this description to compute the Frobenius-Schur indicators for group-theoretical fusion categories.
In this work, we introduce a family of new equivalence relations among fusion categories that are less refined than the usual Morita equivalence. We obtain abelian groups by quotienting these new equivalence relations from the commutative…
We give a dynamical characterization of categorical Morita equivalence between compact quantum groups. More precisely, by a Tannaka-Krein type duality, a unital C*-algebra endowed with commuting actions of two compact quantum groups…