On modules associated to coalgebra Galois extensions (Q1291110)

The category of entwining modules over an entwining structure is defined, and the notion of measuring of an entwining structure to another is introduced. Certain functors between categories of entwining modules induced by such measurings are defined and studied. It is shown that these functors define inverse equivalences if and only if they are exact (or one of them faithfully exact), and the measuring satisfies a certain Galois type condition. Some associated modules to Galois extensions are introduced and studied, and cleft (\(C\)-Galois) extensions are also investigated.