Topos Institute
11.3K subscribers
55:07
Berkeley Seminar: Eswaran Subramanian, 4/10/2023
Topos Institute
194 views • 2 days ago
1:09:41
Berkeley Seminar: Evan Patterson, Products in Double Categories, revisited (4/8/2024)
Topos Institute
135 views • 3 days ago
59:19
Berkeley Seminar: David Spivak, 1/29/24
Topos Institute
585 views • 5 days ago
1:06:17
Berkeley Seminar: Larry Moss, 1/22/2024
Topos Institute
266 views • 1 month ago
58:16
Berkeley Seminar: Mohamed Barakat, 3/18/2024
Topos Institute
333 views • 1 month ago
1:00:18
Berkeley Seminar: Owen Lynch, 1/15/2024
Topos Institute
260 views • 1 month ago
1:06:34
Berkeley Seminar: Christian Wells, 12/04/2023
Topos Institute
340 views • 3 months ago
37:24
Cats and Chats: Brendan Fong and Sophie Libkind
Topos Institute
420 views • 4 months ago
1:05:14
Berkeley Seminar: David Espinosa, 11/27/2023
Topos Institute
486 views • 4 months ago
1:00:17
Berkeley Seminar: Val Tannen, 11/08/2023
Topos Institute
219 views • 5 months ago
1:02:41
Berkeley Seminar 10/30/23: Valeria de Paiva
Topos Institute
425 views • 5 months ago
58:27
Berkeley Seminar: Sophie Libkind, Computation in Continuous Dynamics
Topos Institute
1.6K views • 6 months ago
52:54
Berkeley Seminar: Dana Scott, 10/16/2023
Topos Institute
783 views • 6 months ago
37:07
The Joy of Abstraction book club — Chapter 24
Topos Institute
278 views • 6 months ago
32:55
The Joy of Abstraction book club — Chapter 23
Topos Institute
209 views • 6 months ago
50:11
The Joy of Abstraction book club — Chapter 22
Topos Institute
271 views • 6 months ago
58:58
Berkeley Seminar: Evan Patterson, 9/25/23
Topos Institute
362 views • 7 months ago
58:22
Berkeley Seminar: Alexey Sorokin, September 18 2023
Topos Institute
197 views • 7 months ago
1:04:09
Berkeley Seminar: David Jaz Myers, 8/7/2023
Topos Institute
645 views • 7 months ago
50:56
Berkeley Seminar: Kevin Arlin, 9/11/2023
Topos Institute
317 views • 7 months ago
52:02
The Joy of Abstraction book club — Chapter 21
Topos Institute
366 views • 7 months ago
45:53
The Joy of Abstraction book club — Chapter 20
Topos Institute
307 views • 8 months ago
1:08:28
Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"
Topos Institute
554 views • 8 months ago
54:17
The Joy of Abstraction book club — Chapter 19
Topos Institute
262 views • 8 months ago
57:12
Berkeley Seminar: Samantha Jarvis, 8/21/23
Topos Institute
543 views • 8 months ago
1:17:56
The Joy of Abstraction book club — Chapter 18
Topos Institute
391 views • 8 months ago
1:03:24
Berkeley Seminar: Vincent Reverdy, 7/24/2023
Topos Institute
437 views • 8 months ago
35:56
The Joy of Abstraction book club — Chapter 17
Topos Institute
366 views • 9 months ago
55:45
Jose Perea: Approximate Vector Bundles
Topos Institute
471 views • 9 months ago
57:56
Stephen Mell: Linear Logic is a Language for Structured Data
Topos Institute
1.5K views • 9 months ago
Load More