Skip to main content
2 of 3
fixed grammar in title
David Carchedi
  • 15.5k
  • 38
  • 99

Are $\infty$-topoi 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 !

Simon Henry
  • 42.4k
  • 5
  • 107
  • 205