Filter Quotients and Non-Presentable $(\infty ,1)$-Toposes

Abstract

We define filter quotients of $(\infty ,1)$-categories and prove that filter quotients preserve the structure of an elementary $(\infty ,1)$-topos and in particular lift the filter quotient of the underlying elementary topos. We then specialize to the case of filter products of $(\infty ,1)$-categories and prove a characterization theorem for equivalences in a filter product. Then we use filter products to construct a large class of elementary $(\infty ,1)$-toposes that are not Grothendieck $(\infty ,1)$-toposes. Moreover, we give one detailed example for the interested reader who would like to see how we can construct such an $(\infty ,1)$-category, but would prefer to avoid the technicalities regarding filters.

arXiv comment33 Pages, Final version

References in corpus (13)

• Higher Topos Theory
• A cartesian presentation of weak n-categories
• Monochromatic homotopy theory is asymptotically algebraic
• All $(\infty ,1)$-toposes have strict univalent universes
• A Generalized Blakers-Massey Theorem
• Goodwillie's Calculus of Functors and Higher Topos Theory
• A Theory of Elementary Higher Toposes
• The constructive Kan-Quillen model structure: two new proofs
• An Elementary Approach to Truncations
• Every Elementary Higher Topos has a Natural Number Object
• Localization theory in an $\infty$-topos
• Yoneda Lemma for Simplicial Spaces
• Dependent products and 1-inaccessible universes

Cited by in corpus (1)

• Univalence in Higher Category Theory