External Source

​univalent Foundations And The Equivalence Principle By Benedikt Ahrens (inria Nantes, France)

2017 1:22:06
Synopsis
Talk at: FOMUS 2016. For all Talks and more information, slides etc. see: http://fomus.weebly.com/ ​Univalent Foundations and ...

You Might Also Like

Univalent foundations and the equivalence principle - Benedikt Ahrens 14:17
Univalent Foundations And The Equivalence Principle - Benedi...
2015
Univalent foundations and the equivalence principle - Benedikt Ahrens 1:01:13
Univalent Foundations And The Equivalence Principle - Benedi...
2018
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA 47:20
Benedikt Ahrens - Univalent Foundations And The Unimath Libr...
2023
Benedikt Ahrens - UniMath 12:58
Benedikt Ahrens - Unimath
2020
Dr. Benedikt Ahrens | Categorical structures for type theory in univalent foundations" 34:15
Dr. Benedikt Ahrens | Categorical Structures For Type Theory...
2025
Benedikt Ahrens, Univalent FOLDS 1:09:34
Benedikt Ahrens, Univalent Folds
2014
Amélia Liao, Univalent Category Theory 25:44
Amélia Liao, Univalent Category Theory
2022
How I became seduced by univalent foundations 1:04:53
How I Became Seduced By Univalent Foundations
2022
On Voevodsky's univalence principle - André Joyal 1:22:50
On Voevodsky's Univalence Principle - André Joyal
2018
Penrose Explains The Principle of Equivalence 0:57
Penrose Explains The Principle Of Equivalence
2025
General Relativity Topic 10: Equivalence Principles 1:01:50
General Relativity Topic 10: Equivalence Principles
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.