Homological Algebra of Semimodules and Semicontramodules

This is a monograph in semi-infinite homological algebra, concentrated mostly on the semi-infinite theory of associative algebraic structures, but including also some material on the semi-infinite homology and cohomology of Lie algebras and topological groups. The main objects of study are the double-sided derived functors SemiExt and SemiTor, and the phenomenon of comodule-contramodule correspondence, connecting them with the more conventional, one-sided Ext and CtrTor. Contramodules, introduced originally by Eilenberg and Moore in 1960's but almost forgotten for four decades, play a very pro