Cohomology with coefficients in symmetric cat-groups. An extension of Eilenberg–MacLane's classification theorem

Abstract

AbstractIn this paper we use Takeuchy–Ulbrich's cohomology of complexes of categories with abelian group structure to introduce a cohomology theory for simplicial sets, or topological spaces, with coefficients in symmetric cat-groups . This cohomology is the usual one when abelian groups are taken as coefficients, and the main topological significance of this cohomology is the fact that it is equivalent to the reduced cohomology theory defined by a Ω-spectrum, {}, canonically associated to . We use the spaces to prove that symmetric cat-groups model all homotopy type of spaces X with Πi(X) = 0 for all i ╪ n, n + 1 and n ≥ 3, and then we extend Eilenberg–MacLane's classification theorem to those spaces: .