Monoidal functors on the category of representations of a triangular Hopf algebra (Q1392634)

The author gives constructions of monoidal functors in braided monoidal categories related to quantum groups, i.e. related to quasitriangular Hopf algebras or braided Hopf algebras. He constructs for a given triangular Hopf algebra \((H,R)\) and for any \(H\)-module \(M\) with an integral \(e\) a universal quantum commutative algebra \(S^e_R(M)\), and obtains the tensor isomorphism theorem on the universal quantum commutative algebras. Based on this, he gives the construction of the dual \(M^o\) of an \(H\)-module \(M\) with integral, and it turns out that \(M^o\) is an \(H^o\)-comodule. Also, he obtains the tensor isomorphism theorem on the dual comodules.