All Questions

For an algebraically closed field $k$, let $C$ be a $k$-coalgebra. Given a minimal injective cogenerator $E$, there is a so-called basic coalgebra $B_C=coend^C(E)$, s.t. the comodule categories $Mod^C$...

For a Hopf algebra $H$ with antipode $S$, let $M$ be a left $H$-module with the action $h \otimes m \mapsto \rho(h,m)$, and also a left $H$-comodule with coaction $\delta \colon m \mapsto m^{(-1)} \...

A cosemisimple Hopf algebra $H$ is one which is equal to the direct sum of its subcoalgebras. As is well-known, this is equivalent to its category of $H$-comodules being semisimple. Is this also true ...