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
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC



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
Troubles with video?

Please report video problems to itsupport@msri.org.

See more of our Streaming videos on our main VMath Videos page.