1:12:12

Evan Patterson: The algebra of statistical theories and models

59:41

[Berkeley Seminar] Harrison Grodin | Amortized Analysis via Coalgebra

1:07:22

[Berkeley Seminar] Owen Lynch: Stateful Lenses

1:03:19

Mario Román: "Partial Markov Categories"

1:04:05

Amélia Liao: "Cubical types for the working formalizer"

59:26

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

1:01:27

[Berkeley Seminar] Kris Brown: Categorical approaches to inferentialist semantics

59:10

[Berkeley Seminar] Kevin Carlson: Free cocompletions made friendly?