These notes offer a lightening introduction to topological quantum field theory in its functorial axiomatisation, assuming no or little prior exposure.
We lay some emphasis on the connection between the path integral motivation and the definition in terms symmetric monoidal categories, and we highlight the algebraic formulation emerging from a formal generators-and-relations description.
