External Source

Univalent Foundations Seminar - Steve Awodey

2016 55:41
Synopsis
Steve Awodey Carnegie Mellon University; Member, School of Mathematics November 19, 2012 For more videos, visit ...

You Might Also Like

Intensionality, Invariance, and Univalence, Steve Awodey 56:52
Intensionality, Invariance, And Univalence, Steve Awodey
2020
Natural Models of Type Theory - Steve Awodey 1:28:27
Natural Models Of Type Theory - Steve Awodey
2016
Constructive Type Theory and Homotopy - Steve Awodey 41:00
Constructive Type Theory And Homotopy - Steve Awodey
2016
Univalent Foundations Seminar - Peter Lumsdaine 1:34:59
Univalent Foundations Seminar - Peter Lumsdaine
2016
Awodey - Univalence in infinity-topoi 39:22
Awodey - Univalence In Infinity-topoi
2022
Category theory foundations 2.1 — Steve Awodey 37:02
Category Theory Foundations 2.1 — Steve Awodey
2014
Category theory foundations 4.0 — Steve Awodey 37:14
Category Theory Foundations 4.0 — Steve Awodey
2014
Category theory foundations 1.2 — Steve Awodey 5:26
Category Theory Foundations 1.2 — Steve Awodey
2014
Overview of Univalent Foundations - Vladimir Voevodsky 57:55
Overview Of Univalent Foundations - Vladimir Voevodsky
2016
Univalent foundations and the equivalence principle - Benedikt Ahrens 14:17
Univalent Foundations And The Equivalence Principle - Benedi...
2015
Steve Awodey: Type theories and polynomial monads​ 56:02
Steve Awodey: Type Theories And Polynomial Monads​
2017
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.