If $X$ is a sober topological space, the real numbers object in the topos $\mathrm{Sh}(X)$ is the sheaf of continuous real-valued functions on $X$. This is proven very explicitly in Theorem VI.8.2 of MacLane & Moerdijk *Sheaves in Geometry and Logic* by compiling out the definition of real numbers in Kripke-Joyal semantics. A more abstract proof is in D4.7.6 of *Sketches of an Elephant*: since $\mathrm{Sh}(\mathbb{R})$ is the classifying topos of the theory of a real number, maps $U \to R_D$ in $\mathrm{Sh}(X)$ from an open subset $U\subseteq X$ to the real numbers object are equivalent to geometric morphisms $\mathrm{Sh}(X)/U \to \mathrm{Sh}(\mathbb{R})$, but $\mathrm{Sh}(X)/U \simeq \mathrm{Sh}(U)$ and so these are equivalent to continuous maps $U\to \mathbb{R}$.

Theorem VI.9.2 of MacLane & Moerdijk makes an analogous claim for $\mathrm{Sh}(\mathbf{T})$, where $\mathbf{T}$ is a full subcategory of topological spaces closed under finite limits and open subspaces. My question is about a glossed-over point in the proof: they construct maps back and forth between sections of $R_D$ and the continuous $\mathbb{R}$-valued functions, but they don't say anything about why the maps are inverses. I believe it in the situation of $\mathrm{Sh}(X)$, but for $\mathrm{Sh}(\mathbf{T})$ it's not obvious to me, because a continuous map $Y\to \mathbb{R}$ only "knows" about the open subspaces of $Y$, whereas a map $Y \to R_D$ in $\mathrm{Sh}(\mathbf{T})$ says something about all continous maps $Z\to Y$ in $\mathbf{T}$. The most I can see how to show is that the sheaf of continuous real-valued functions is a retract of $R_D$.

In terms of the abstract proof from the Elephant, the question is this: for $Y\in \mathbf{T}$, geometric morphisms $\mathrm{Sh}(\mathbf{T})/Y \to \mathrm{Sh}(\mathbb{R})$ are equivalent to continuous real-valued functions on the locale corresponding to the frame of subterminals in $\mathrm{Sh}(\mathbf{T})/Y$, but this frame is not (as far as I can see) the same as the open-set frame of $Y$.

1more comment