1 paper · 1 filter
Ivan Di Liberti, Nicholas Meadows
We construct classifying ∞-topoi by showing that the (∞,2)-category of topoi has weighted limits. We show that several prestacks of interest have a classifying topos,…