This study covers comodules, rational modules and bicomodules; cosemisimple, semiperfect and co-Frobenius algebras; bialgebras and Hopf algebras; actions and coactions of Hopf algebras on algebras; finite dimensional Hopf algebras, with the Nicholas-Zoeller and Taft-Wilson theorems and character theory; and more.