Tannaka–Krein duality was formulated for compact quantum groups by Woronowicz [Wor88] as a generalization of the classical Tannaka–Krein duality for compact groups. Basic idea of the theorem is that any compact quantum group can be recovered from its representation theory (i.e. from the structure of the category of its representations).
There are several possibilities, how to formulate this result, which differ in their generality and in the amount of categorical formulations involved. Here, we present some of them starting with the most abstract one and going more concrete.
The following abstract formulation was taken from [NT13].
Theorem. Let be a rigid monoidal
-category,
be a unitary monoidal functor. Then there exist a compact quantum group
and a unitary monoidal equivalence
such that
is naturally unitarily monoidally isomorphic to the composition of the canonical fiber functor
with
. Furthermore, the Hopf
-algebra
for such a
is uniquely determined up to isomorphism.
Such a monoidal functor is called a fiber functor.