Mathematical Sciences Research Institute

Home » Workshop » Schedules » What is an elementary higher topos?

What is an elementary higher topos?

Reimagining the Foundations of Algebraic Topology April 07, 2014 - April 11, 2014

April 08, 2014 (02:00 PM PDT - 03:00 PM PDT)
Speaker(s): Andre Joyal (Université du Québec à Montréal)
Location: MSRI: Simons Auditorium


There should be a notion of elementary higher topos in higher topos

theory, like there is a notion of elementary topos in topos theory.

We are proposing axioms partly inspired by homotopy type theory.

We also give a purely categorical description of homotopy type theory.

20468?type=thumb Joyal.notes 450 KB application/pdf Download
Video/Audio Files


H.264 Video v1319.mp4 378 MB video/mp4 rtsp://videos.msri.org/data/000/020/405/original/v1319.mp4 Download
Buy the DVD

If none of the options work for you, you can always buy the DVD of this lecture. The videos are sold at cost for $20USD (shipping included). Please Click Here to send an email to MSRI to purchase the DVD.

See more of our Streaming videos on our main VMath - Streaming Video page.