Univalent Foundations Seminar - Steve Awodey

Univalent Foundations Seminar - Steve Awodey

Intensionality, Invariance, and Univalence, Steve AwodeySee more

Intensionality, Invariance, and Univalence, Steve Awodey

How I became seduced by univalent foundationsSee more

How I became seduced by univalent foundations

Steve Awodey: Mac Lane and Carnap's Logical Syntax of LanguageSee more

Steve Awodey: Mac Lane and Carnap's Logical Syntax of Language

Category theory foundations 1.0 — Steve AwodeySee more

Category theory foundations 1.0 — Steve Awodey

Constructive Type Theory and Homotopy - Steve AwodeySee more

Constructive Type Theory and Homotopy - Steve Awodey

Univalent Foundations Seminar - Peter LumsdaineSee more

Univalent Foundations Seminar - Peter Lumsdaine

The Univalent Foundations through UniMath and some combinatorial problems (part 1)See more

The Univalent Foundations through UniMath and some combinatorial problems (part 1)

Univalent Foundations of Mathematics - Vladimir VoevodskySee more

Univalent Foundations of Mathematics - Vladimir Voevodsky

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

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

CT2023, Steve Awodey: Cartesian cubical model categoriesSee more

CT2023, Steve Awodey: Cartesian cubical model categories

Natural Models of Type Theory - Steve AwodeySee more

Natural Models of Type Theory - Steve Awodey

Univalent foundations and the equivalence principle - Benedikt AhrensSee more

Univalent foundations and the equivalence principle - Benedikt Ahrens

Univalent Foundations: New Foundations of Mathematics | Vladimir VoevodskySee more

Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky

Actual