Online talk.
I will explain how to generalize Harpaz’ universal property of the (infty, 1)-category of spans to the higher category thereof. The crucial property is “m-semiadditivity”. Combining this with the finite path integral construction of Freed-Hopkins-Lurie-Teleman this yields finite gauge theory as a fully extended TFT. This is joint work in progress with Tashi Walde.
Links:
[1] https://www.mpim-bonn.mpg.de/de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/de/node/11493
[3] https://www.mpim-bonn.mpg.de/de/node/11136