Topos Institute
11.5K subscribers
1:00:36
Berkeley Seminar: David Spivak, A tour of EM(Cat#) (5/20/2024)
Topos Institute
797 views • 3 days ago
1:03:37
Valeria de Paiva: Network Mathematics for All
Topos Institute
322 views • 2 weeks ago
1:00:05
Shaowei Lin: AI-assisted Coding. Correct by Construction, Not by Generation
Topos Institute
435 views • 2 weeks ago
51:53
Evan Patterson: Domain specific Logics for Scientific Modeling Theory and Practice
Topos Institute
687 views • 2 weeks ago
1:00:03
M Andrew Moshier: Relations for Order Regular Categories
Topos Institute
121 views • 2 weeks ago
59:17
Daniele Struppa: An Introduction to Superoscillations and Supershift
Topos Institute
68 views • 2 weeks ago
53:43
Alexander Kurz: Canonical Extensions of Quantale Enriched Categories
Topos Institute
96 views • 2 weeks ago
59:18
Berkeley Seminar: Sophie Libkind, Probabilistic and Namespace Conditioning in Poly (4/29/2024)
Topos Institute
244 views • 2 weeks ago
1:36:54
Polynomial functors: Lecture 2/9
Topos Institute
143 views • 2 weeks ago
2:12:46
Polynomial functors: Lecture 6/9
Topos Institute
89 views • 2 weeks ago
1:14:15
Polynomial functors: Lecture 9/9
Topos Institute
50 views • 2 weeks ago
2:16:30
Polynomial functors: Lecture 4/9
Topos Institute
56 views • 2 weeks ago
1:21:46
Polynomial functors: Lecture 5/9
Topos Institute
37 views • 2 weeks ago
1:17:16
Polynomial functors: Lecture 3/9
Topos Institute
162 views • 2 weeks ago
2:24:31
Polynomial functors: Lecture 8/9
Topos Institute
58 views • 2 weeks ago
2:22:09
Polynomial functors: Lecture 7/9
Topos Institute
167 views • 2 weeks ago
1:12:54
Polynomial functors: Lecture 1/9
Topos Institute
375 views • 2 weeks ago
55:07
Berkeley Seminar: Eswaran Subramanian, 4/10/2023
Topos Institute
268 views • 1 month ago
1:09:41
Berkeley Seminar: Evan Patterson, Products in Double Categories, revisited (4/8/2024)
Topos Institute
181 views • 1 month ago
59:19
Berkeley Seminar: David Spivak, 1/29/24
Topos Institute
662 views • 1 month ago
1:06:17
Berkeley Seminar: Larry Moss, 1/22/2024
Topos Institute
283 views • 2 months ago
58:16
Berkeley Seminar: Mohamed Barakat, 3/18/2024
Topos Institute
361 views • 2 months ago
1:00:18
Berkeley Seminar: Owen Lynch, 1/15/2024
Topos Institute
276 views • 2 months ago
1:06:34
Berkeley Seminar: Christian Wells, 12/04/2023
Topos Institute
346 views • 4 months ago
37:24
Cats and Chats: Brendan Fong and Sophie Libkind
Topos Institute
439 views • 5 months ago
1:05:14
Berkeley Seminar: David Espinosa, 11/27/2023
Topos Institute
495 views • 6 months ago
1:00:17
Berkeley Seminar: Val Tannen, 11/08/2023
Topos Institute
228 views • 6 months ago
1:02:41
Berkeley Seminar 10/30/23: Valeria de Paiva
Topos Institute
439 views • 6 months ago
58:27
Berkeley Seminar: Sophie Libkind, Computation in Continuous Dynamics
Topos Institute
1.6K views • 7 months ago
52:54
Berkeley Seminar: Dana Scott, 10/16/2023
Topos Institute
792 views • 7 months ago
Load More