This is one result from Stel's master thesis:
showing that under the Dold-Kan correspondence the cosimplicial algebra of functions of the infinitesimal singular simplicial complex is isomorphic to the de Rham complex.
In (dcct, 4.5.1.3) is discussed how this serves to embed Lie algebroids into synthetic differential ∞-groupoids.
differential cohomology in a cohesive topos
Cosimplicial $C^\infty$ rings and the de Rham complex of Euclidean space
Last revised on February 23, 2015 at 17:55:18. See the history of this page for a list of all contributions to it.