Is there a simple 'topological' condition to detect whenever a morphism of locales $f : X \rightarrow Y$ induces a surjection of infinity-toposes $f : \mathrm{Sh}_{\infty}(X) \rightarrow \mathrm{Sh}_{\infty}(Y)$ (i.e. such that $f^*$ is conservative)?

It's not enough to assume that f is a surjection of locales: indeed, if we take a topological space $X$ such that $\mathrm{Sh}_{\infty}(X)$ is not hypercomplete, and $X^{\mathrm{disc}}$ is its space of points endowed with the discrete topology, then $\mathrm{Sh}_{\infty}(X^{\mathrm{disc}}) \rightarrow \mathrm{Sh}_\infty (X)$ can't be a surjection, because the pullback of an $\infty$-connected map in $\mathrm{Sh}_\infty (X)$ is a weak equivalence in $\mathrm{Sh}_{\infty}(X^{\mathrm{disc}})$...

Thank you!

  • 1
    $\begingroup$ Actually, the notion of "surjection" for $(\infty,1)$-toposes seems slippery! For 1-toposes, it is equivalent for $f^*$ to be (1) comonadic, (2) conservative, and (3) faithful. Of course (2)$\Leftrightarrow$(3) doesn't categorify (what does faithfulness even mean for $(\infty,1)$-categories?). But I don't see that (1)$\Leftrightarrow$(2) categorifies either, because the $(\infty,1)$-comonadicity theorem (unlike the 1-categorical one) is not about finite limits, but $f^*$ is still only assumed to preserve finite limits. $\endgroup$ Jun 14, 2012 at 21:14
  • $\begingroup$ as I said, by a surjection I just mean $f^*$ being conservative. But yes, maybe i shouldn't have used the term surjection ... $\endgroup$ Jun 15, 2012 at 12:43
  • $\begingroup$ @Mike: an infinity functor is "faithful" if and only if it is 0-truncated ( (-2)-truncated=equivalence, (-1)-truncated=mono) $\endgroup$ Jun 16, 2012 at 3:11
  • $\begingroup$ @David: I guess that's one reasonable definition. $\endgroup$ Jun 16, 2012 at 4:36
  • $\begingroup$ @Simon: I didn't mean to imply that you said anything wrong or should have said it differently (you did clarify exactly what you meant). I just wanted to share a thought that occurred to me after reading your interesting question! $\endgroup$ Jun 16, 2012 at 4:37


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.