Definition 6.64.
A topos \(T\) is called bounded if the canonical map \(T\to\lim_nL_nT\) is an equivalence. We write \(\Topos^b \subseteq \Topos\) for the full subcategory of bounded topoi.
Definition 6.64.
A topos \(T\) is called bounded if the canonical map \(T\to\lim_nL_nT\) is an equivalence. We write \(\Topos^b \subseteq \Topos\) for the full subcategory of bounded topoi.