HoTTEST
Videos from HoTTEST
Page 1 of 1 • 5 total videos
1:30:22
HoTT Lecture 4: Exploring Universes in Homotopy Type Theory 🌐
HoTTEST
2.0K views
27:06
Exploring Synthetic Fibered (∞,1)-Categories in Homotopy Type Theory 🌐
HoTTEST
479 views
1:05:00
Understanding Higher Sites and Categorical Logic in Homotopy Type Theory 🧠
HoTTEST
333 views
1:06:24
Exploring Mike Shulman's Type-Theoretic Model Toposes 🌐
HoTTEST
1.4K views
1:21:35
Simon Huber Presents Homotopy Canonicity in Cubical Type Theory 🧪
HoTTEST
554 views