  These notes explore some aspects of formal derived geometry related to
classical field theory. One goal is to explain how many important classical
field theories in physics -- such as supersymmetric gauge theories and
supersymmetric sigma-models -- can be described very cleanly using derived
geometry. In particular, I describe a mathematically natural construction of
Kapustin-Witten's P^1 of twisted supersymmetric gauge theories.
