Univalent Foundations Seminar - Steve Awodey

How I became seduced by univalent foundations

The mathematical work of Vladimir Voevodsky - Dan Grayson

Intensionality, Invariance, and Univalence, Steve Awodey

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

Anders Mortberg: "Cubical Methods in Homotopy Type Theory and Univalent Foundations"

Overview of Univalent Foundations - Vladimir Voevodsky

Niels van der Weide, The internal languages of univalent categories

Per Martin Löf: How did 'judgement' come to be a term of logic ?

01 Course Introduction

HoTT-2019-04-16 Type theory

Saunders Mac Lane: "Mysteries and Marvels of Mathematics"

Categorification of Fourier Theory

Constructive Type Theory and Homotopy - Steve Awodey

Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky

ЭТО АЛГЕБРА, ДЕТКА! Метод Софи Жермен!

An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky [2002]

∞-Category Theory for Undergraduates

Формальное понятие вычислимости

Introduction to Combinatory Logic – #SoME2

Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky