Univalent Foundations Seminar - Steve Awodey
Steve Awodey Carnegie Mellon University; Member, School of Mathematics November 19, 2012 For more videos, visit http://video.ias.edu
▶︎
Overview of Univalent Foundations - Vladimir Voevodsky
▶︎
How I became seduced by univalent foundations
▶︎
Steve Awodey: Mac Lane and Carnap's Logical Syntax of Language
▶︎
Intensionality, Invariance, and Univalence, Steve Awodey
▶︎
Constructive Type Theory and Homotopy - Steve Awodey
▶︎
HoTT-2019-04-16 Type theory
▶︎
Propositions as Types - Computerphile
▶︎
Anders Mortberg: "Cubical Methods in Homotopy Type Theory and Univalent Foundations"
▶︎
Computer Science and Homotopy Theory - Vladimir Voevodsky
▶︎
"A Little Taste of Dependent Types" by David Christiansen
▶︎
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
▶︎
∞-Category Theory for Undergraduates
▶︎
Univalence from a computer science point-of-view - Dan Licata
▶︎
Mark van Atten: Brouwer and the Mathematics of the Continuum
▶︎
Reinventing Entropy | Compression is Intelligence Part 1
▶︎
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
▶︎
Per Martin Löf: How did 'judgement' come to be a term of logic ?
▶︎
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
▶︎
A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)
▶︎