Tannaka duality for comodules over a Hopf algebra
Steve Bennoun – 7 March 2007
In this talk, I shall define the category of comodules over a bialgebra A and prove that it is autonomous when A is a Hopf algebra. Then, starting with this category, I shall use Tannaka duality to reconstruct the bialgebra A. This will naturally lead to a construction for freely adjoining an invertible antipode to a bialgebra.
A video of the talk is available.