Riehl, Bradley, Cheng, Dancstep, and Lugg: "Category theory outreach panel"
1:25:45
Arezoo Islami: "Unravelling the 'Unreasonable Effectiveness' of Mathematics"
1:01:27
[Berkeley Seminar] Kris Brown: Categorical approaches to inferentialist semantics
3:31
Future of Accounting | How AI is Transforming the Industry
1:06:05
What Is Your Theory of Chaplaincy
1:04:05
Amélia Liao: "Cubical types for the working formalizer"
1:27:21
Category theory (2022-23): Lecture 1
50:56
Christina Vasilakopoulou: "Dual algebraic structures and enrichment"
1:34:10