Topos Institute

1:00:50

Thomas Powell: "Quantitative results for stochastic processes"
Topos Institute
401 views
1:44:20

Tutorial on Category Theory: Part 1 – Pure and Classical
Topos Institute
14K views
58:50

Kate Fleming: "Beyond Tech Solutionism: Challenges of unlocking under-served community knowledge"
Topos Institute
510 views
1:02:18

[Oxford Seminar] Matthew Daggit | Developing support for end-to-end verification of neural AI agents
Topos Institute
420 views
1:03:21

Rory Lucyshyn-Wright: "V-graded categories [...] for enrichment and actions of monoidal categories"
Topos Institute
225 views
1:01:05

Jared Culbertson: "Applying Categorical Thinking to Practical Domains"
Topos Institute
1.6K views
1:04:05

E.Subrahmanian & Y.Keraron: Engineering practice and the potential role of CT in systems engineering
Topos Institute
601 views
56:55

[Berkeley Seminar] Kris Brown | Incremental homomorphism search
Topos Institute
458 views
59:44

David Spivak: Microservices operad/the free monad monad is a module over the cofree comonad comonad
Topos Institute
2K views
1:00:16

Mason Porter: "Topological Data Analysis of Spatial Systems"
Topos Institute
737 views
55:45

Bart Jacobs: "Update rules of Pearl and Jeffrey"
Topos Institute
549 views
Today Top Searches
Categories
Recently Searched Keywords