Univalence’s Radical Impact
2:07:39–2:08:19 · 41s
Riehl states the univalence axiom—identity equals equivalence in the universe of types—calling it powerful and natural homotopically, but 'totally wrong' set-theoretically.
2:07:39–2:08:19 · 41s
Riehl states the univalence axiom—identity equals equivalence in the universe of types—calling it powerful and natural homotopically, but 'totally wrong' set-theoretically.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.