Differential forms as infinitesimal cochains

In the context of synthetic differential geometry (SDG), we provide, for any manifold, a homotopy equivalence between its de Rham complex, and a complex of infinitesimal singular cochains. The equivalence takes wedge product of forms to cup product of singular cochains.