Abstract:
We study the homology groups of semicubical sets with coefficients in the homological systems of abelian groups. The main theorem states that the groups under consideration are isomorphic to the homology groups of the category of singular cubes. This yields an isomorphism criterion for the homology groups of semicubical sets, the spectral sequence of a locally directed covering, and the spectral sequence of a morphism of semicubical sets.
Keywords:cubical homology, homology of a small category, semicubical sets, Serre spectral sequence.