David Spivak: Pioneering Math for Understanding Reality | AGI-24 Keynote Preview

(2:13)

David Spivak - Sense-making: accounting for intelligibility - IPAM at UCLA

(32:37)

Berkeley Seminar: David Spivak, 1/29/24

(59:19)

Berkeley Seminar: David Spivak, A tour of EM(Cat#) (5/20/2024)

(1:36)

David Spivak: \

(38:24)

David Spivak - Plausible Fiction: Accounting for Actualizing Potential - IPAM at UCLA

(49:44)

Cats and Chats: David Spivak

(18:59)

David Spivak: Categorical Databases

(1:9:41)

The Fabric of Knowledge - David Spivak

(46:29)

David Spivak: Microservices operad/the free monad monad is a module over the cofree comonad comonad

(59:44)

ActInf MathStream #004.1 ~ David Spivak

(1:53:4)

An Operadic Approach to Compositionality

(41:11)

What are we tracking? How Applied Category Theory puts thinking on rails

(52:)

David Spivak: Where Poly's structure comes from

(56:59)

David Spivak: Reglog—the game

(52:17)

David Spivak: \

(58:12)

David Spivak: The free monad, cofree comonad, and topological space associated to a polynomial

(55:55)

Polynomials and the dynamics of data

(1:25:)

Dynamic Interfaces and Arrangements by David Spivak, MIT

(1:44:14)

Bob Coecke: From Quantum in Pictures to Quantum AI | QHack 2023

(48:11)

Joan Baez ~ Farewell Angelina (1965)

(3:17)

Lambda World 2019 - A categorical view of computational effects - Emily Riehl

(45:28)

David Spivak: Mode-dependent dynamical systems and polynomial functors

(58:27)