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.

(Co)homology and crossed module for BiHom-associative algebras

Homological Integral of Hopf Algebras

Cohomology of BiHom-Associative Trialgebras

BiHom-$Ω$-associative algebras and related structures

On bicrossed modules of Hopf algebras

Symmetric Homology of Algebras

Cohomology theory of Rota-Baxter family BiHom-$Ω$-associative algebras

Derivations, Cohomology and Deformation of BiHom-Associative Dialgebra

On the Hochschild homology of involutive algebras

From Simplicial Homotopy to Crossed Module Homotopy in Modified Categories of Interest

On the First Hochschild Cohomology of Admissible Algebras

Basic cohomology of associative algebras

Cocyclic Complexes of Hopf Algebras with Special Antipodes

Homogeneous O-operators on BiHom-Jordan superalgebras and BiHom-pre-Jordan superalgebras structures

Cohomological dimension of braided Hopf algebras

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

Homology theory valued in the category of bicommutative Hopf algebras

Sweedler duality for Hom-algebras and Hom-modules

The cohomology of homogeneous spaces in historical context

Homology of L_{\infty}-Algebras and Cyclic Homology

The braided monoidal structure on the category of Hom-type Doi-Hopf modules