58:45

[Berkeley Seminar] Shaowei Lin: Safety by Shared Synthesis

59:41

[Berkeley Seminar] Harrison Grodin | Amortized Analysis via Coalgebra

1:07:22

[Berkeley Seminar] Owen Lynch: Stateful Lenses

59:18

[Berkeley Seminar] Kevin Carlson: What is it like to be a lax double functor?

1:27:21

Category theory (2022-23): Lecture 1

59:30

[Berkeley Seminar] Sam Vandervelde: Where is the middle of a Fibonacci sequence?

59:26

[Berkeley Seminar] Dennis Chen: Cartesian polynomial monads in HoTT

1:00:45

[Berkeley Seminar] Evan Patterson: Collaborative modeling with domain-specific categorical logics