We describe algebraic obstruction theories for realizing an abstract (co)algebra over the mod Steenrod algebra as the (co)homology of a topological space, and for distinguishing between the -homotopy types of different realizations. The theories are expressed in terms of the Quillen cohomology of