Partial corepresentations of Hopf Algebras
We introduce the notion of a partial corepresentation of a given Hopf algebra over a coalgebra and the closely related concept of a partial -comodule. We prove that there exists a universal coalgebra , associated to the original Hopf algebra , such that the category of regular partial -comodules is isomorphic to the category of -comodules. We introduce the notion of a Hopf coalgebroid and show that the universal coalgebra has the structure of a Hopf coalgebroid over a suitable coalgebra.