Talk page
Title:
What is an elementary higher topos?
Speaker:
Abstract:
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.
Link:
Workshop: