Skip to main content
fixed grammar in title again
Link
Mike Shulman
  • 66.8k
  • 7
  • 162
  • 368

Are $\infty$-topoi determined by theirstheir localic points ?

fixed grammar in title
Link
David Carchedi
  • 15.5k
  • 38
  • 99

Does Are $\infty$-topos aretopoi determined by theirs localic points ?

Source Link
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205

Does $\infty$-topos are determined by theirs localic points ?

Hello !

If $T$ is an infinity topos, then you can consider the infinity category of geometric morphism from $Sh_{\infty}(\mathcal{L})$ to $T$ for any locale $\mathcal{L}$. This associate to $T$ an infinity stacks over the category of all locale (at least for the etale topology, but also probably for some stronger topology).

My question is : is there anything know about this functor ? is it fully faithful ? or does it has some kind of "conservativity" properties that could allow to give an answer to the question in the tittle ? Or in the contrary is there example of non trivial infinity topos with no (or not enough) morphism from non trivial locale ?

thank you !