A comonadicity theorem for partial comodules

Eliezer Batista, William Hautekiet, Joost Vercruysse

We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\mathsf{Vect}}_k$ and provide an explicit construction of this comonad using topological vecto…