Let $M$ be a compact manifold and $\varphi:C^\infty(M)\rightarrow \mathbb{R}$ be a function which assigns to every $f\in C^\infty(M)$ the value $\int_M fdV.$
In a smooth topos which is a well adapted model, does the morphism $\overline{\varphi}:R^M\rightarrow R$ corresponding to $\varphi$ exist?
