7
$\begingroup$

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?

Improve this question
$\endgroup$
1
  • 1
    $\begingroup$ You may have a look at Remark 6.3.5.17 and Lemma 6.3.5.28 in Lurie's book. $\endgroup$
    – D.-C. Cisinski
    Commented Dec 13, 2011 at 22:16

0

Reset to default

You must log in to answer this question.