Hans-Joachim Baues 
Combinatorial Foundation of Homology and Homotopy [PDF ebook] 
Applications to Spaces, Diagrams, Transformation Groups, Compactifications, Differential Algebras, Algebraic Theories, Simplicial Objects, and Resolutions

In this book we consider deep and classical results of homotopy theory like the homological Whitehead theorem, the Hurewicz theorem, the finiteness obstruction theorem of Wall, the theorems on Whitehead torsion and simple homotopy equivalences, and we characterize axiomatically the assumptions under which such results hold. This leads to a new combinatorial foundation of homology and homotopy. Numerous explicit examples and applications in various fields of topology and algebra are given.