Tannaka-Krein duality in Chari-Pressley's book I am not sure that this was not discussed before, so excuse me in this case. This can be considered as a special case of my previous question here.
V.Chari and A.N.Pressley in their "Guide to Quantum Groups" formulate the following version of Tannaka-Krein's duality (Theorem 5.1.11):

Let $R$ be a commutative ring, let $C$ be an essentially small, $R$-linear, rigid, abelian, monoidal category, and let $\varPhi:C\to\operatorname{mod}_R$  be a $R$-linear exact faithful monoidal functor. Then there exists a Hopf algebra $A$ over $R$ and an equivalence of  $R$-linear categories $C\to\operatorname{corep}_A$ whose composite with the forgetful functor $\operatorname{corep}_A\to\operatorname{mod}_R$ is $\varPhi$.

They give an outline of the proof, but I must say that I don't understand some of its details. I think that there must exist an accurate text with complete proof. Can anybody give me a reference to it?  
Also if somebody could cast some light on possible generalizations of this proposition (to the case of Hopf algebras in braided monoidal categories), I would appreciate this very much. 
 A: I do not know much about the Tannaka-Krein duality itself. But regarding the last part of your question 

Also if somebody could cast some light on possible generalizations of this proposition (to the case of Hopf algebras in braided monoidal categories)

i think that bosonization/transmutation and reconstruction methods between hopf algebras and hopf algebras in braided monoidal categories, may be closely related to what you are looking for. Roughly speaking:  
The bosonization method consists of the following idea: Given a hopf algebra $A$ in the braided monoidal category $\mathcal{C}$ one can construct an ordinary hopf algebra $\mathcal{A}$ such that the category of the $A$-modules in $\mathcal{C}$ (i.e. the braided modules of $A$) and the category of (ordinary) modules of $\mathcal{A}$ are in a bijective correspondence which provides an equivalence of categories (between the corresponding module categories).  
In the case that $\mathcal{C}={}_{H}\mathcal{M}$, where $H$ is some quasitriangular hopf algebra i.e. in the case in which the initial braided monoidal category is the category of representations of some quasitriangular hopf algebra $H$, then it can be shown that the (ordinary) hopf algebra $A=A\ltimes H$ is a smash product hopf algebra.  
A special case of the above has proved particularly interesting for physics: If $H=\mathbb{CZ}_2$ then the hopf algebra $A$ in ${}_{\mathbb{CZ}_2}\mathcal{M}$ is a hopf superalgebra and the smash product hopf algebra $A\ltimes\mathbb{CZ}_2$ is an ordinary hopf algebra with categorically equivalent representation theory to the initial superalgebra.  
At the level of physics this can actually be understood in the sense that the hopf superalgebra and the smash product hopf algebra produce the same physics. In other words, SUSY hopf algebras can be substituted by suitably chosen ordinary hopf algebras retaining the same physical interpretation.  
The converse of the bosonization technique is the so-called transmutation method. You can find these methods (in their full generality) in: Majid S., Cross Products by Braided Groups and Bosonization, J. of Alg., v. 163, 1, 1994, p.165-190. 
On the other hand there are also various reconstruction theories and methods. In the frame of hopf algebras in braided monoidal categories, this amounts to the following idea: Given a braided monoidal category $\mathcal{C}$, we can reconstruct a quastriangular hopf algebra $H$, such that the representation category ${}_{H}\mathcal{M}$ of $H$ is isomorphic to the initial braided monoidal category $\mathcal{C}$.
A nice bibliographical/historical review of this and related ideas can be found in ch. 10, sect. 10.4, p. 201-203 of S. Montgomery's book (Hopf algebras and their action on rings). An example of a (very) simplified reconstruction theorem is provided by theorem 10.4.2, p. 199 of this book.
Finally, i think it would be interesting to have a look at ch. 9.4, p. 467-499, from Majid's book "Foundations of Quantum group theory". 
A: In the case where $k$ is a field this should be worked out in full generality (for Hopf algebras) in Chapter 5 of 'Tensor Categories' by Etingof, Gelaki, Nikshych and Ostrik. This includes the infinite dimensional case.
For the finite dimensional case this can be generalized even further to weak Hopf algebras, so that every Fusion category is monoidally equivalent to the category of representations for a weak Hopf algebra. This is stated in 'On Fusion Categories.' (Corollary 2.22) where it is there referenced as due to Hayashi in 'A canonical Tannaka duality for finite seimisimple tensor categories
' and Szlach´anyi in 'Finite quantum groupoids and inclusions of finite type.' A proof should also be provided in Ostrik's 'Module categories, weak Hopf algebras and modular invariants.' An additional reference is section 7.23 of 1.
As a note, this is referenced in the nlab article, under the table 'Tannaka duality for categories of modules over monoids/associative algebras' for 'Hopf algebras.' Following the Hopf algebras link takes you to the Hopf algebras article which includes a section on 'Tannakian Duality' and includes a link to Bakke's 'Hopf algebras and monoidal categories' and Vercruysse's 'Hopf algebras---Variant notions and reconstruction theorems'. For weak hopf algebras following the links leads to 3 and 5.
Finally, a gold standard reference for understanding Tannakian duality is Pierre Delign's 'Catégories Tannakiennes' and its related generalizations, linked in the nLab article on said paper.
