Tannaka-Dualität

Eine Rekonstruktionskorrespondenz, die eine (pro-)algebraische Gruppe (oder ein Gruppenschema) aus der tensorielle Kategorie ihrer endlichdimensionalen linearen Darstellungen zusammen mit der Wahl eines Faserfunktors in Vektorräume zurückgewinnt; umgekehrt ist die Darstellungskategorie das primäre Invariant der Gruppe.

Ein Dualitätsprinzip und Rekonstruktionstheorem, das ein algebraisches Objekt (wie eine proalgebraische Gruppe, ein Gruppenschema oder eine Hopf-Algebra) aus einer hinreichend starren tensoriellen Kategorie seiner linearen Darstellungen zusammen mit einem Faserfunktor in Vektoräume wiederherstellt.