Given a -algebra and an -coring one can introduce right -comodules as right -modules equipped with a coaction which is a right -module map satisfying the standard axioms (comodules for coalgebras were introduced by Cartier in the 1950s). There is a rather more recent dualization of the concept. A -contramodule is a right -module equipped with a right -module map such that the diagrams
Historically contramodules seem to have first been mentioned a few times in the Eilenberg–Moore treatments of homological algebra in the 1960s and by category theorists (Vazquez, Garcia, Barr). Positselski has used them in his approach to semiinfinite cohomology.
Leonid Positselski, Homological algebra of semimodules and semicontramodules. Semi-infinite homological algebra of associative algebraic structures, arxiv/0708.3398; Contramodules, arxiv/1503.00991; Contraherent cosheaves, arxiv/1209.2995
T. Brzeziński, Hopf-cyclic homology with contramodule coefficients, To appear in Quantum Groups and Noncommutative Spaces, M Marcolli and D Parashar (eds) Vieweg Verlag (Max-Planck Series), Preprint 2008, arxiv:0806.0389