How I became seduced by univalent foundations
Speaker: Emily Riehl, Johns Hopkins University Date: October 18th, 2022 Abstract: http://www.fields.utoronto.ca/talks/H... Part of the "2022 Fields Medal Symposium: Akshay Venkatesh": http://www.fields.utoronto.ca/activit...
▶︎
Varieties of Mathematical Understanding
▶︎
∞-Category Theory for Undergraduates
▶︎
Emily Riehl Makes Infinity Categories Elementary
▶︎
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
▶︎
Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
▶︎
The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories - Emily Riehl
▶︎
Univalence from a computer science point-of-view - Dan Licata
▶︎
Propositions as Types - Computerphile
▶︎
The mathematical work of Vladimir Voevodsky - Dan Grayson
▶︎
David Jaz Myers: Homotopy type theory for doing category theory
▶︎
Intensionality, Invariance, and Univalence, Steve Awodey
![Was soll HoTT? [Intro to HoTT, No. 0]](https://i.ytimg.com/vi/Pu16iodESTU/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLBRpvRJH9hzUEbr8CUUEpBSvhuJyQ)
▶︎
Was soll HoTT? [Intro to HoTT, No. 0]
▶︎
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
▶︎
3 01 A Functional Programmer's Guide to Homotopy Type Theory
▶︎
The Hardest Problem in Type Theory - Computerphile
▶︎
Walter B. Rudin: "Set Theory: An Offspring of Analysis"
▶︎
HoTT-2019-04-16 Type theory
▶︎
Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky
▶︎
Homotopy Type Theory Discussed - Computerphile
▶︎