What is an elementary higher topos?
Reimagining the Foundations of Algebraic Topology April 07, 2014 - April 11, 2014
Location: SLMath: Eisenbud Auditorium
Primary Mathematics Subject Classification
No Primary AMS MSC
Secondary Mathematics Subject Classification
No Secondary AMS MSC
v1319
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.
|
Joyal.notes
|
Download |
v1319
| H.264 Video |
v1319.mp4
|
Download |
Please report video problems to itsupport@slmath.org.
See more of our Streaming videos on our main VMath Videos page.