Abstract:We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define double-sided derived functors SemiTor and SemiExt of the functors of semitensor product and semihomomorphisms, and construct an equivalence between the exotic derived categories of semimodules and semicontramodules. Certain (co)flatness and/or (co)projectivity conditions have to be imposed on the coring and semialgebra to make the module categories abelian (and the cotensor product associative). Besides, for a number of technical reasons we mostly have to assume that the basic ring has a finite homological dimension (no such assumptions about the coring and semialgebra are made). In the final sections we construct model category structures on the categories of complexes of semi(contra)modules, and develop relative nonhomogeneous Koszul duality theory for filtered semialgebras and quasi-differential corings. Our motivating examples come from the semi-infinite cohomology theory. Comparison with the semi-infinite (co)homology of Tate Lie algebras and graded associative algebras is established in appendices, and the semi-infinite homology of a locally compact topological group relative to an open profinite subgroup is defined. An application to the correspondence between complexes of representations of an infinite-dimensional Lie algebra on the complementary central charge levels ($c$ and $26-c$ for the Virasoro) is worked out.

Ext groups in the category of bimodules over a simple Leibniz algebra

Brackets and products from centres in extension categories

Tensor products of Leibniz bimodules and Grothendieck rings

Graded Lie structure on cohomology of some exact monoidal categories

On the Gabriel quiver of extensions of Leibniz algebras

Derived categories and Deligne-Lusztig varieties II

A generalisation of the category $\mathcal{O}$ of Bernstein-Bernstein-Gelfand

Semi-simple Leibniz algebras I

A braided monoidal $(\infty,2)$-category of Soergel bimodules

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

Grothendieck-Verdier module categories, Frobenius algebras and relative Serre functors

Bimodule monomorphism categories and RSS equivalences via cotilting modules

Cohomology of solvable Leibniz algebras

Grothendieck-Verdier duality in categories of bimodules and weak module functors

Infinitesimal bialgebras, pre-Lie and dendriform algebras

Category $\mathcal{O}$ for truncated current Lie algebras

The Category of reduced imaginary Verma modules

Enveloping Algebras and Cohomology of Leibniz Pairs

On the moduli stack of commutative, 1-parameter formal Lie groups

Extending monoidal structures on fibered categories via embeddings