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.
Please report video problems to email@example.com.
See more of our Streaming videos on our main VMath Videos page.