The cosemisimplicity and cobraided structures of monoidal comonads (Q2141335)

The authors study the category of corepresentations of a monoidal comonad. They show that it is a semisimple category if and only if the monoidal comonad is a cosemisipmle (coseparable) comonad, and it is a braided category if and only if the monoidal comonad admit a cobraided structure. At last, as an application, the braided structure and the semisimplicity of the Hom-comodule category of a monoidal Hom-bialgebra are discussed. This results enrich related category theory.