Theo has given a lecture series at the Korean Institute for Advance Studies, as part of a long-running series organized by Minhyong Kim. The abstract for the talks read:

I. A complete mathematical definition of quantum field theory does not yet exist. Following the example of quantum mechanics, I will indicate what a good definition in terms could look like. In this good definition, QFTs are defined in terms of their operator content (including extended operators), and the collection of all operators is required to satisfy some natural properties.

II. After reviewing some classic examples, I will describe the construction of Noether currents and the corresponding extended symmetry operators.

III. One way to build topological extended operators is by “condensing” lower-dimensional operators. The existence of this condensation procedure makes the collection of all topological operators into a semisimple higher category.

IV. Topological operators provide “noninvertible higher-form symmetries”. These symmetries assign charges to operators of complementary dimension. This assignment is a version of what fusion category theorists call an “S-matrix”.

V. The Tannakian formalism suggests a way to recognize higher gauge theories. It also suggests the existence of interesting higher versions of super vector spaces with more exotic tangential structures.