# Category of Hopf algebras.

Can you tell me, where I can find a proof of the following fact: Let $R$ be a commutative ring. Consider the category of commutative Hopf algebras over $R$. Then this category is equivalent to the category of corepresentable functors from the category commutative $R$-algebras to groups.

-
Do you mean commutative Hopf algebras? – Bruce Westbury Jun 28 '12 at 14:02
Yes, I mean commutative. Thanks for the hint, I have edited it. – philipp Jun 28 '12 at 15:24