We construct classifying ∞∞-topoi by showing that the (∞,2)(∞,2)-category of topoi has weighted limits. We show that several prestacks of interest have a classifying topos, including the prestack of spectra.
生成讲解博客的中文版本
生成AI智能校验的中文版本