Eugenia Cheng: Distributive laws for Lawvere theories
1:12:12
Evan Patterson: The algebra of statistical theories and models
51:49
The joy of abstract mathematical thinking - with Eugenia Cheng
1:00:47
[Berkeley Seminar] CB Aberle: All Concepts are Essentially Algebraic
13:26
What if mathematics is the answer for progress? | Eugenia Cheng | TEDxVienna
29:55
Category Theory III 5.1, Eilenberg Moore and Lawvere
1:07:22
[Berkeley Seminar] Owen Lynch: Stateful Lenses
1:33:45
The Kreisel Lawvere Debate on Categories and the Foundations of Mathematics
59:41