▶︎
Game Theory
▶︎
What A General Diagonal Argument Looks Like (Category Theory)
▶︎
Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
![Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]](https://i.ytimg.com/vi/vmcbm5FxRJE/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLDxcGsonRbSJy6Y5Z5BU-4_V5fXew)
▶︎
Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]
▶︎
A Categorical View of Computational Effects
▶︎
F. William Lawvere - Dialectic of the Continuous and Discrete
▶︎
The Langlands Program - Numberphile
▶︎
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
▶︎
Saunders Mac Lane: "Mysteries and Marvels of Mathematics"
▶︎
Per Martin Löf: How did 'judgement' come to be a term of logic ?
▶︎
Category Theory in Life - Eugenia Cheng
▶︎
This is not the AI we were promised | The Royal Society
▶︎
∞-Category Theory for Undergraduates
▶︎
The Life of Alexander Grothendieck & Topos Theory | Colin McLarty
▶︎
Robert Bryant: "The Concept of Holonomy"
▶︎
Terence Tao: Nobody Understands Why AI Actually Works
▶︎
Lecture 1: Invitation to topos theory
▶︎
F. William Lawvere - What are Foundations of Geometry and Algebra? (2013)
▶︎
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
▶︎