Abstract: We define an elementary -topos that simultaneously generalizes an elementary topos and Grothendieck -topos. We then prove it satisfies the expected topos theoretic properties, such as descent, local Cartesian closure, locality and classification of univalent morphisms, generalizing results by Lurie and Gepner-Kock. We also define -logical functors and show the resulting -category is closed under limits and filtered colimits, generalizing the analogous result for elementary toposes and Grothendieck -toposes. Moreover, we give an alternative characterization of elementary -toposes and their -logical functors via their ind-completions. Finally we generalize these results by discussing the case of elementary (n,1)-toposes and give various examples and non-examples.
This page was built for publication: A Theory of Elementary Higher Toposes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6301403)
