0PCS Proposition 8.1.19. The functor Φ:𝒮M∙(𝐑)→𝒰∙\Phi:{\mathcal{S}}^{\bullet}_{M}({\mathbf{R}})\to{\mathcal{U}}^{\bullet} is an equivalence of differential pointed categories.