It turns out that the de Rham cohomology spaces are all contravariant functors on the category of smooth manifolds. We’ve even seen how it acts on smooth maps. All we really need to do is check that it plays nice with compositions.
So let’s say we have smooth maps and , which give rise to pullbacks and . All we really have to do is show that , because we already know that passing from chain maps to the induced maps on homology is functorial.
As usual, we calculate:
as asserted. And so we get maps and which compose appropriately: .