Theorem 8.2 on p. 30 of Models for smooth infinitesimal analysis by Moerdijk and Reyes. The theorem works with $C^\infty$ rings, which are a bit more general than algebras of functions. The advantage is that the proof is short.
Eugene Lerman
- 1.7k
- 10
- 18