59:18

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

1:00:45

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

59:30

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

1:11:46

Tim Hosgood --- Loose simplicial objects.

59:10

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

27:03

The 10 Biggest Myths About Our Economy

1:26:04

A biased introduction to the foundations of quantum mechanics 1/4

1:04:05

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