Junior Geometry and QFT Seminar

In the previous talk of this series, Jiwoong introduced some concepts involved in the formalism of derived algebraic geometry. In particular, functors of points, Betti stacks, and loop spaces. In this talk, I will briefly review what Jiwoong went over, and calculate some toy examples of these loop spaces. Then, I will define what we mean by TQFT in this setting, and show that the DAG formalism we've developed allows us to define a TQFT generalizing Dijkgraaf Witten theory.