André Joyal: "Higher topos theory and Goodwillie Calculus"
1:17:56
Dan Christensen: "Reasoning in an ∞-topos with homotopy type theory"
1:04:05
Amélia Liao: "Cubical types for the working formalizer"
1:15:36
"Higher Topos Theory in Physics", talk by Urs Schreiber in the Zulip Category Theory Seminar (2024)
1:25:45
Arezoo Islami: "Unravelling the 'Unreasonable Effectiveness' of Mathematics"
2:50:05
KIOS 6th Graduate Training School 2024 - Florian Dörfler part one
1:03:19
Mario Román: "Partial Markov Categories"
23:00
Evan Patterson: "A Short Introduction to Categorical Logic"
1:01:27