Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Theorem 82.28 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.
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.
Theorem 2.8 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.
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.
