This book is about the interplay between algebraic topology and the theory of infinite discrete groups.