Dualité de Tannaka

Une correspondance de reconstruction qui reconstitue un groupe (pro-)algébrique (ou schéma en groupes) à partir de la catégorie tensorielle de ses représentations linéaires de dimension finie munie d'un foncteur fibre vers des espaces vectoriels ; inversement, la catégorie des représentations est l'invariant principal du groupe.

Un principe de dualité et un théorème de reconstruction qui permet de retrouver un objet algébrique (par exemple un groupe proalgébrique, un schéma en groupes ou une algèbre de Hopf) à partir d'une catégorie tensorelle de ses représentations linéaires suffisamment rigide munie d'un foncteur fibre vers les espaces vectoriels.