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.