Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky

(50:13)

How I became seduced by univalent foundations

(1:4:53)

Univalent Foundations

(24:44)

Andrei Rodin: \

(1:3:5)

Overview of Univalent Foundations - Vladimir Voevodsky

(57:55)

​Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)

(1:22:6)

Univalent foundations and the equivalence principle - Benedikt Ahrens

(14:17)

Univalent foundations and the equivalence principle - Benedikt Ahrens

(1:1:13)

A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)

(1:34:14)

Univalent Foundations Seminar - Steve Awodey

(55:41)

Working Group on Univalent Foundations - Michael Shulman

(1:23:44)

Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA

(47:20)

Invariant homotopy theory in the univalent foundations - Guillaume Brunerie

(17:30)

Homotopy Type Theory:Univalent Foundations of Mathematics (Univalent Foundations Program)

(10:40)

Univalent Foundations of Mathematics - Vladimir Voevodsky

(1:7:33)

Univalent foundations

(9:21)

5 - Kick-off afternoon : Vladimir Voevodsky, Univalent Foundations

(54:16)