![[TopOx] Steve Awodey: Path Types in Algebraic Type Theory](https://i.ytimg.com/vi/lanvZuki4qQ/hqdefault.jpg?sqp=-oaymwFBCNACELwBSFryq4qpAzMIARUAAAAAGAElAADIQj0AgKJDeAHwAQH4Af4JgALQBYoCDAgAEAEYYSBhKGEwD7gC8xg=&rs=AOn4CLBzmYYER-WZ_cMFcGgSfPVF_vXCrA&usqp=CCY)
▶︎
[TopOx] Steve Awodey: Path Types in Algebraic Type Theory
▶︎
We're 99.9% sure this pattern is true, but no one can prove it
▶︎
“Limited Commitment: Mechanism Design Meets Information Design” Professor Vasiliki Skreta #1
▶︎
Stefan Milius: Demystifying Codensity Monads via Duality
▶︎
AI Is Breaking How We Teach | Terry Tao
▶︎
Tensor, Exterior, Cifford Algebra from Representable Functors (Category Theory + Multilinear Algebra
▶︎
The most beautiful formula not enough people understand
▶︎
How Divergence and Curl Were Discovered
▶︎
1961: Yuri Gagarin Interview | BBC Archive
▶︎
Where does “e” come from?
▶︎
A Sensible Introduction to Category Theory
▶︎
Something strange happens when you "bump the base"
▶︎
How To Become Dangerously Self-Educated (with AI)
▶︎
How Uzbekistan could liberalise its economy with a push into green energy | FT Film
▶︎
Why Impressive-Mud5074 Doesn’t Believe in Pi
▶︎
Richard Feynman: Can Machines Think?
▶︎
21 Yr Old Disproves 4 Decades Old Belief in Computing
▶︎
But what is a Laplace Transform?
▶︎
Trump Faces GOP Fury Over Iran Deal; Fox News Blames JD Vance; Iran Gets $300 Billion: A Closer Look
▶︎