Dualidad de Tannaka

Una correspondencia de reconstrucción que recupera un grupo (pro-)algebraico (o esquema en grupos) a partir de la categoría tensorial de sus representaciones lineales de dimensión finita junto con la elección de un funtor fibra hacia espacios vectoriales; a la inversa, la categoría de representaciones es el invariante primario del grupo.

Un principio de dualidad y un teorema de reconstrucción que recupera un objeto algebraico (como un grupo proalgebraico, un esquema en grupos o una álgebra de Hopf) a partir de una categoría tensorial suficientemente rígida de sus representaciones lineales junto con un funtor fibra hacia espacios vectoriales.