Computation of cohomology operations on finite simplicial complexes.
We prove that Alexander-Spanier cohomology with coefficients in a topologicalAbelian group G is isomorphic to the group of isomorphism classes of principal bundles with certain Abelian structure groups. The result holds if either X is a CW-space and G arbitrary or if X is metrizable or compact Hausdorff and G an ANR.
We raise the question of when a simplicial object in a catetgory is deemed contractible. The literature offers three definitions. One is the existence of an “extra degeneracy”, indexed by , which does not quite live up to the name. This can be strengthened to a “strong extra degeneracy". Another possibility is that it be homotopic to a constant simplicial object. Despite claims in the literature to the contrary, we show that all three are distinct concepts with strong extra degeneracy implies extra...