The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories - Emily Riehl

Vladimir Voevodsky Memorial Conference
Topic: The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories
Speaker: Emily Riehl
Affiliation: Johns Hopkins University
Date: September 12, 2018
For more video please visit video.ias.edu

[@noellundstrom7447]

Don't understand anything about homotopy type theory but the part on infty categories was interesting.

[@annaclarafenyo8185]

You can teach this stuff to undergraduates now, it's easier than most of the undergrad continuum.

[@oleksiishekhovtsov1564]

This is so cool!

[@jurgenblick5491]

Facinating

[@mochen9282]

I want the table of Curry-Howard-Voevodsky correspondence.