Myvideo

Guest

Login

Andr Joyal --- Homotopy type theory: a new bridge between logic, category theory and topology.b

Uploaded By: Myvideo
7 views
0
0 votes
0

Talk given on Friday October 26, 2018 in the Graduate Center, CUNY. Résumé: Martin-Lôf type theory is a language for constructive mathematics with applications to program verifications and proof assistants. The homotopy interpretation of Martin-Lôf type theory, discovered by Voevodsky and independantly by Awodey and Warren, has initiated a project for a new foundation of constructive mathematics and of homotopy theory. An elementary notion of higher topos is emerging in the process. We shall describe the v

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later