A duality principle and reconstruction theorem that recovers an algebraic object (such as a proalgebraic group, group scheme, or Hopf algebra) from a suitably rigid tensor category of its linear representations together with a fiber functor to vector spaces.

Principle

The tensor structure and natural transformations in the category of representations encode the multiplication, comultiplication and other structural maps of the original symmetry object; providing a fiber functor supplies the concrete realization needed to reconstruct that object.

Demonstration

For a compact topological group or an affine group scheme G, the category of its finite-dimensional continuous (or algebraic) representations, equipped with the tensor product and the forgetful fiber functor to vector spaces, determines G up to isomorphism via reconstruction of its Hopf algebra of representative functions.

Misapplication

Attempting reconstruction from a category lacking rigidity (no duals), from a category without a compatible tensor structure, or without a neutral fiber functor, will fail to produce a canonical algebraic object; forgetting the fiber functor loses concrete realization.

Consequence

When hypotheses hold, one can classify symmetry objects by their representation categories, transfer problems in group theory to categorical terms, and construct group schemes or Hopf algebras from purely categorical data.

Reversal

Instead of passing from group to representation category, Tannaka duality runs the process backward: from the categorical data (tensor category plus fiber functor) one reconstructs the original group-like object, reversing the usual direction of association.

Boundary

Requires a rigid, k-linear tensor category with exactness properties and typically a neutral fiber functor to Vec_k; failure of rigidity, absence of a fiber functor, or working over fields with problematic characteristic can obstruct reconstruction or change the class of recoverable objects.

Semantic Tension

Relates to but differs from Pontryagin duality and Fourier-type dualities (which are abelian and analytic); Tannaka is nonabelian and categorical, and it also overlaps but is distinct from reconstruction results in Hopf algebra theory.

Synthesis

Tannaka duality states that the tensorial structure of a category of representations, together with a fiber functor, contains precisely the data to reconstruct the underlying symmetry object: representation theory and the original algebraic object are two faces of the same structure.