Applied Category Theory. Chapter 2, lecture 2 (Fong)
Applied Category Theory MIT Course 18.S097 Independent Activities Period (IAP) 2019 Taught by David Spivak and Brendan Fong © Spifong
▶︎
Applied Category Theory. Chapter 3, lecture 1 (Spivak)
▶︎
Applied Category Theory. Chapter 1, lecture 2 (Fong)
![[Berkeley Seminar] Nelson Niu | A Categorical Framework for Coherence Theorems](https://i.ytimg.com/vi/0R_P_as6gIk/hqdefault.jpg?sqp=-oaymwE9CNACELwBSFryq4qpAy8IARUAAAAAGAElAADIQj0AgKJDeAHwAQH4Af4JgALQBYoCDAgAEAEYWyBbKFswDw==&rs=AOn4CLCtbI39GAsl-iIKRx71uhgH3-zgDQ)
▶︎
[Berkeley Seminar] Nelson Niu | A Categorical Framework for Coherence Theorems
▶︎
Applied Category Theory. Chapter 1, lecture 1 (Spivak)
▶︎
1986: How to Spot the Upper Class | That's Life! | BBC Archive
![[2-torial] Toposes: from topological spaces to databases](https://i.ytimg.com/vi/mNFibqlr_Bk/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLC1r5zEDL88u7fBHdycH731xKm5ug)
▶︎
[2-torial] Toposes: from topological spaces to databases
▶︎
AI Is Breaking How We Teach | Terry Tao
▶︎
How To Think SO CLEARLY People Assume You're A Genius
▶︎
A Sensible Introduction to Category Theory
▶︎
Category theory (2022-23): Lecture 1
▶︎
We're 99.9% sure this pattern is true, but no one can prove it
![[TopOx] Steve Awodey: Path Types in Algebraic Type Theory](https://i.ytimg.com/vi/lanvZuki4qQ/hqdefault.jpg?sqp=-oaymwE9CNACELwBSFryq4qpAy8IARUAAAAAGAElAADIQj0AgKJDeAHwAQH4Af4JgALQBYoCDAgAEAEYYSBhKGEwDw==&rs=AOn4CLBnCHu4aGeqtlPObcy6RoGsZPdxNA)
▶︎
[TopOx] Steve Awodey: Path Types in Algebraic Type Theory
▶︎
Japan – Schweden Highlights | Gruppe F, FIFA WM 2026 | sportstudio
▶︎
You've (Likely) Been Playing The Game of Life Wrong
▶︎
The Langlands Program - Numberphile
▶︎
Category Theory Foundations, Lecture 1
▶︎
The Truth About Depression - Dr Joanna Moncrieff
▶︎
Terence Tao Explains The Math Behind AI
▶︎