Notation 6.53.
Let \(\Topos_n \subseteq \Topos\) denote the full subcategory spanned by the \(n\)-localic topoi.
Higher Topos Theory Section 6.4: Localic topoi, Postnikov-completeness, and boundedness
Notation 6.53.
Let \(\Topos_n \subseteq \Topos\) denote the full subcategory spanned by the \(n\)-localic topoi.