External Source

Univalent Foundations: Redefining Equality In Mathematics

2025 7:19
Synopsis
The source introduces Univalent Foundations, a revolutionary mathematical concept that redefines the meaning of "equals.

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
Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky 1:33:26
Multiple Concepts Of Equality In The New Foundations Of Math...
2017
Univalent Foundations of Mathematics - Vladimir Voevodsky 1:07:33
Univalent Foundations Of Mathematics - Vladimir Voevodsky
2016
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky 50:13
Univalent Foundations: New Foundations Of Mathematics | Vlad...
2014
Overview of Univalent Foundations - Vladimir Voevodsky 57:55
Overview Of Univalent Foundations - Vladimir Voevodsky
2016
How I became seduced by univalent foundations 1:04:53
How I Became Seduced By Univalent Foundations
2022
Andrei Rodin: "Univalent Foundations and Applied Mathematics" 1:03:05
Andrei Rodin: "univalent Foundations And Applied Mathematics...
2022
#1 Homotopy Type Theory Explained: A New Foundation for Mathematics 3:18
#1 Homotopy Type Theory Explained: A New Foundation For Math...
2025
Univalent Foundations Seminar - Steve Awodey 55:41
Univalent Foundations Seminar - Steve Awodey
2016
​Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France) 1:22:06
​univalent Foundations And The Equivalence Principle By Be...
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.