What is an elementary higher topos?
Reimagining the Foundations of Algebraic Topology April 07, 2014 - April 11, 2014
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.
Please report video problems to email@example.com.
See more of our Streaming videos on our main VMath Videos page.