A comonadicity theorem for partial comodules

Abstract

We show that the category of partial comodules over a Hopf algebra H is comonadic over Vectk and provide an explicit construction of this comonad using topological vector spaces. The case when H is...