Project Euclid - Homology, Homotopy