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.

Nearly associative and nearly Hom-associative algebras and bialgebras

Structure and classification of Hom-associative algebras

Bialgebra theory for nearly associative algebras and $LR$-algebras: equivalence, characterization, and $LR$-Yang-Baxter Equation

Associative 2-algebras and nonabelian extensions of associative algebras

Compatible Associative Algebras and Some Invariants

BiHom-$Ω$-associative algebras and related structures

The geometric classification of non-associative algebras: a survey

Manin Triples and Bialgebras of Left-Alia Algebras Associated with Invariant Theory

Lie, associative and commutative quasi-isomorphism

Complete classification of two-dimensional associative and diassociative algebras over any basic field

Manin triples and bialgebras of Left-Alia algebras associated to invariant theory

On Hom-Lie antialgebra

Lie Admissible Triple Algebras: The Connection Algebra of Symmetric Spaces

Hom-associative algebras, Admissibility and Relative averaging operators

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

Associative superalgebras with homogeneous symmetric structures

Classification of three-dimensional anti-dendriform algebras

Quasi-twilled associative algebras, deformation maps and their governing algebras

Almost-reductive and almost-algebraic Leibniz algebras

Complete Description of Invariant, Associative Pseudo-Euclidean Metrics on Left Leibniz Algebras via Quadratic Lie Algebras

Almost Commutative Terwilliger Algebras of Group Association Schemes I: Classification