-
Stratified spaces without stratification
(Higher Structures & Field Theory Seminar, 14.12.2023)
-
Field theory from [and] homology via [are] “duals”
(online/Boğaziçi Üniv., İstanbul, 20.12.2022)
-
Field theory from homology via Poincaré duals
(Zürich, 12.10.2022)
Typed notes (incomplete, tbc)
-
Geometric factorisation algebras and Morita theory
(King's College London, 24.06.2022)
Slides
-
More types and the type-theoretic axiom of choice
(Zürich, 18.03.2022)
Handwritten notes, Screenshot of Lean code to prove type-theoretic AoC.
-
Logic, categories, types
(Zürich, 04.03.2022)
Handwritten notes
Typo on p. 20: change `extensional' to `intensional'.
-
On AKSZ with input symplectic stacks
(Zürich, 27.05.2021)
Typed notes
-
What is... a Drinfeld associator?
(Zürich, 01.12.2020)
Slides
-
Stratified algebra
(Zürich, 01.12.2020)
Typed notes
-
4d BF with cosmological constant is equivalent to Ooguri–Crane–Yetter
(Zürich, 29.04.2020)
Typed notes
-
3d TQFTs from spherical fusion categories
(Zürich, 01.04.2020)
Typed notes