Over the last century quantum field theory has made a significant impact on the formulation and solution of mathematical problems and inspired powerful advances in pure mathematics. However, most accounts are written by physicists, and mathematicians struggle to find clear definitions and statements[...]