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.