On De Rham's theorem in synthetic differential geometry (Q1173726): Difference between revisions

The paper is devoted to the study of integration morphism \(\int\colon \Omega^p(M)\to S^p(M)\) in synthetic differential geometry. In the classical differential geometry this morphism induces an isomorphism in homology. In the synthetic case there exists a cochain morphism \(D\colon S^p(M)\to\Omega^p(M)\) which is an inverse of \(\int\) so that \(\int\) is an isomorphism on the cochain level. The properties of the operator \(D\) are discussed there and the isomorphism theorem is proved.