Normalisation for the fundamental crossed complex of a simplicial set.
Square groups are gadgets classifying quadratic endofunctors of the category of groups. Applying such a functor to the Kan simplicial loop group of the 2-dimensional sphere, one obtains a one-connected three-type. We consider the problem of characterization of those three-types X which can be obtained in this way. We solve this problem in some cases, including the case when π2(X) is a finitely generated abelian group. The corresponding stable problem is solved completely.
We present a very short way of calculating additively the stable (co)homology of Eilenberg-MacLane spaces K(ℤ/p,n). Our method depends only on homological algebra in appropriate categories of functors.
We study the Taylor towers of the nth symmetric and exterior power functors, Spⁿ and Λⁿ. We obtain a description of the layers of the Taylor towers, and , in terms of the first terms in the Taylor towers of and for t < n. The homology of these first terms is related to the stable derived functors (in the sense of Dold and Puppe) of and . We use stable derived functor calculations of Dold and Puppe to determine the lowest nontrivial homology groups for and .
The aim of this article is to bring together various themes from fairly elementary homotopy theory and to examine them, in part, from a historical and philosophical viewpoint.