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.

Relative log convergent cohomology and relative rigid cohomology I

Logarithmic prismatic cohomology II

The Overconvergent Site II. Cohomology

Logarithmic A_ Inf-Cohomology

Relative Cohomology and Generalized Tate Cohomology

Logarithmic A$_{\rm inf}$-cohomology

Berthelot's conjecture via homotopy theory

Hodge-Witt decomposition of relative crystalline cohomology

On Relative Cohomology in Lie Theory

Limiting mixed Hodge structures on the relative log de Rham cohomology groups of a projective semistable log smooth degeneration

Almost Coherence of Higher Direct Images

Noncommutative relative de Rham--Witt complex via the norm

Overconvergent prismatic cohomology

The crystalline comparison of Ainf-cohomology: the case of good reduction

A better comparison of cdh- and ldh-cohomologies

Rational $p$-adic Hodge theory for rigid-analytic varieties

Logarithmic Riemann-Hilbert Correspondences for Rigid Varieties

Extension of relative rigid homomorphisms from the formal multiplicative group

Theory of weights for log convergent cohomologies II: the case of a proper SNCL scheme in characteristic $p>0$

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

Crystalline cohomology of rigid analytic spaces