It is well known that for $E$ a Grothendieck topos, (by appropriately making use of universes) $E$ carries the canonical Grothendieck topology generated by jointly surjective epimorphisms, say $J$, such that $Sh_J\left(E\right) \simeq E$. Is there an analogous statement for infinity topoi?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
