Basic constructions over C∞-schemes

C∞-Rings are R-algebras equipped with operations φf for every f ∈ C∞(Rn) and every n ∈ N. Therefore, a C∞-version of algebraic geometry can be developed using C∞-rings instead of ordinary rings and many classical constructions can be performed in this context. In particular, C∞-schemes are the C∞ co...