What is an elementary higher topos?
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.
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 Videos page.