In the context of synthetic differential geometry (SDG), we provide, for an
y manifold, a homotopy equivalence between its de Rham complex, and a compl
ex of infinitesimal singular cochains. The equivalence takes wedge product
of forms to cup product of singular cochains. (C) 2000 Elsevier Science B.V
. All rights reserved. MSC: 58A03; 58A12; 18F99; 14F40.