Similar Channels to HoTTEST on the Channel Galaxy Map
YouTube Channel Recommendations for people who like HoTTEST (Click a channel's button below to go to their page on Channel Galaxy and find more new YouTube suggestions)
About HoTTEST
None
Recent Videos from HoTTEST
Jon Sterling, Is it time for a new proof assistant?
Homotopy Type Theory Electronic Seminar Talks, 2025-09-25
https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html
It could be time to build a non-experimental proof assistant for homotopy type theory and univalent foundations. I’ll give my thoughts on what that would entail, and where we ar… Mitchell Riley, Tiny types and cubical type theory
Homotopy Type Theory Electronic Seminar Talks, 2025-04-17
https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html
I will present an extension of Martin-Löf Type Theory that contains a tiny object; a type for which there is an "amazing" right adjoint to the formation of function types as wel… Jonathan Weinberger, Directed univalence and the Yoneda embedding for synthetic ∞-categories
Homotopy Type Theory Electronic Seminar Talks, 2025-03-06.
https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html
In this talk, I'll present recent results in synthetic ∞-category theory in an extension of homotopy type theory. An ∞-category is analogous to a 1-category, but with compositi…
Channel Galaxy