Event № 488
Contramodules are module-like algebraic structures endowed with infinite summation or, occasionally, integration operations understood algebraically as infinitary linear operations subject to natural axioms.For about every abelian category of torsion, discrete, or smooth modules there is a no less interesting, but much less familiar, dual analogous abelian category of contramodules. So there are many kinds of contramodule categories, including contramodules over coalgebras and corings, associative rings with a fixed centrally generated ideal, topological rings, topological Lie algebras, topological groups, etc. The comodule-contramodule correspondence is a covariant equivalence between additive subcategories in or (conventional or exotic) derived categories of the abelian categories of comodules and contramodules. Several examples of contramodule categories will be defined in the talk, and various versions of the comodule-contramodule correspondence discussed.