Abstract:This paper continues the research of the author on the homology of cubical and semi-cubical sets with coefficients in systems of objects. The main result is the theorem that the homology of cubical sets with coefficients in contravariant systems in an Abelian category with exact coproducts is isomorphic to the left satellites of a colimit functor. This made it possible to prove a number of the following new assertions, presented in the paper, about the homology and cohomology of cubical sets with coefficients in systems of objects. These homology are invariant under morphism between cubical sets when passing to the direct image of the system of coefficients. There is a criterion for the invariance of these homologies when passing to the inverse image. These homology generalize the singular cubical homology with local coefficients and the homology of semi-cubical sets with coefficients in contravariant systems. There is a spectral sequence for colimit homologies of cubical sets with coefficients in contravariant systems. The weak equivalence of cubical sets induces an isomorphism of homology with local systems. For a morphism of cubical sets whose inverse fiber morphisms are weak equivalences, there exists a spectral sequence for homology with local systems converging to the homology of the domain of this morphism. The homology of small category with coefficients in a diagram can be calculated as cubical homology. The Baues-Wirsching cohomologies with coefficients in natural systems are isomorphic to cubical cohomologies with coefficients in covariant systems.

Cohomology of BiHom-Associative Trialgebras

Generalized derivations of BiHom-supertrialgebras

Classification, Derivations and Centroids of Low-Dimensional Complex BiHom-Trialgebras

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

Derivations, Cohomology and Deformation of BiHom-Associative Dialgebra

Classification, $α$-Inner Derivations and $α$-Centroids of Finite-Dimensional Complex Hom-Trialgebras

Basic cohomology of associative algebras

On the Hochschild homology of involutive algebras

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

Cohomological dimension of braided Hopf algebras

Diffuse radio emission in a REFLEX cluster

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

BiHom-$Ω$-associative algebras and related structures

Cohomology of left-symmetric color algebras

On deformation cohomology of compatible Hom-associative algebras

Cohomology of hemistrict Lie 2-algebras

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

Homology and cohomology of cubical sets with coefficients in systems of objects

Classification, Derivations and Centroids of Low-Dimensional Real Trialgebras

Deformations and extensions of homotopy associative algebras

On the cohomology of Lie algebras associated with graphs