Lavendhomme: Basic concepts of synthetic diff geom. In Geometry-Various folder.
http://mathoverflow.net/questions/55128/nice-application-of-generalized-smooth-spaces
nLab page on Synthetic differential geometry