I saw this post recently: https://mathoverflow.net/questions/157260/tannaka-krein-duality
I have this question please: in the following which i report here:

"The problem is with surjectivity: let us denote G':=G(R(G)) and ^:R(G)→R(G') is an isomorphism from the previous theorem. One shows that δ∗:F↦F∘δ is right inverse of ^ and therefore is also an isomorphism. Since R(G) and R(G') are dense in C(G) and C(G') resp. it follows that δ∗ extends to the isomomorhism between C(G) and C(G') and thus δ is surjective."

Let me pls ask the couple of questions below:

1) why ^ is an isomorphism of Hopf algebras!
2) Why if δ∗ is right inverse of ^ then it is also an isomorphism? Have left invertibilty can be proved? And can we use only algebraic arguments on G?