Derived differential geometry and physics, part I

We will explain the connection between derived differential geometry and quantum field theory and path integration. We will then provide the mathematical framework which allows the rigorous construction of derived moduli spaces of solutions to Euler Lagrange equations of gauge theories, for example Chern-Simons and Yang-Mills.