Quantum field theory has had a profound influence on mathematics, and on geometry in particular. However, the notorious difficulties of renormalization have made quantum field theory very inaccessible for mathematicians. This book provides complete mathematical foundations for the theory of perturbative quantum field theory, based on Wilson's ideas of low-energy effective field theory and on the Batalin–Vilkovisky formalism. As an example, a cohomological proof of perturbative renormalizability of Yang–Mills theory is presented. An effort has been made to make the book accessible to mathematicians who have had no prior exposure to quantum field theory. Graduate students who have taken classes in basic functional analysis and homological algebra should be able to read this book.