Skip to main content
2 of 4
corrected minor imprecision
seldon
  • 1.1k
  • 8
  • 16

What's the localic reflection of a presheaf topos?

$\newcommand{\Psh}{\operatorname{Psh}} \newcommand{\Sh}{\operatorname{Sh}} \newcommand{\op}{{\operatorname{op}}}$ Let $X$ be a locale, $X^\op$ the corresponding frame.

  1. What's the localic reflection of $\Psh X$?

We know that $$ X^\op \cong \mathrm{Sub}_{\Sh X}(1) $$ Call $Y = \mathrm{Sub}_{\Psh X}(1)$ the localic reflection of $\Psh X$. Since $\Sh X$ is a subtopos of $\Psh X$, $X$ should be a sublocale of $Y$, i.e. there should be a nucleus $j$ on $Y^\op$ such that $X^\op = Y^\op / j$.

  1. Who's $j$?
seldon
  • 1.1k
  • 8
  • 16