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.

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

Braided monoidal categories and Doi Hopf modules for monoidal Hom-Hopf algebras

Monoidal Functors on the Category of Representations of a Triangular Hopf Algebra

New Braided Monoidal Categories over Monoidal Hom-Hopf Algebras

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

Hopf-cyclic coefficients in the braided setting

The Near Centre of Doi-Hopf Module Categorya M (H) C

A model structure and Hopf-cyclic theory on the category of coequivariant modules over a comodule algebra

Cylinder Coalgebras and Cylinder Coproducts for Quasitriangular Hopf Algebras

Cohomological dimension of braided Hopf algebras

Central Hopf Monads and Braided Commutative Algebras

Duality Theorem and Hom Functor in Braided Tensor Categories

The Braided Monoidal Structures on A Class of Linear Gr-Categories

Braided Hochschild cohomology and Hopf actions

A monoidal Dold-Kan correspondence for comodules

Homotopy Invariants of Braided Commutative Algebras and the Deligne Conjecture for Finite Tensor Categories

A model structure on the category of equivariant A-modules over a Hopf algebra

Structure theorems for braided Hopf algebras

Dualities for universal (co)acting Hopf monoids

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

Another construction of the braided $T$-category