Galois extensions as functors of comodules (Q1096706)

Let A be a finite Hopf algebra over a commutative ring k. For a right A- comodule C and a left A-comodule V, there is a cotensor product \(C\wedge V\) which is a k-module. If V and W are left A-comodules, then the multiplication map of A may be used to make the tensor product of V and W over k into an A-comodule. If C is an A-Galois extension of k; then the multiplication map of C yields a natural isomorphism of (C\(\wedge V)\otimes (C\wedge W)\) onto \(C\wedge (V\otimes W)\), and \(k\approx C\wedge k\) when k is considered to be a trivial left A-comodule. The author develops a correspondence between A-Galois extensions of k and the monoidal functors from the category of left A-comodules to the category of k-modules, satisfying certain coherence diagrams. If C and A are replaced by their linear duals over k, then C * is a right A *-module and tensoring with C * over A * yields a functor from the category of left A *-modules into the category of k-modules. Consideration of this dual theory gives some insight to the author's results.