Videos

Start date cannot be after end date.
What is an elementary higher topos? Thumbnail

What is an elementary higher topos?

Presenter
  • Andre Joyal
April 8, 2014
MSRI
On Voevodsky's univalence principle Thumbnail

On Voevodsky's univalence principle

Presenter
  • AndrĂ© Joyal
September 11, 2018
IAS